Ubuntu 20: use postgresql-contrib-12 so no version higher gets installed

diff --git a/vagrant/Install-on-Ubuntu-20.sh b/vagrant/Install-on-Ubuntu-20.sh
index b182ecfd167c381faae60c2c9954085a3537eeb4..a6cc3706c2a37354cbcc781b96c0c9ed0c8f720e 100644 (file)
--- a/vagrant/Install-on-Ubuntu-20.sh
+++ b/vagrant/Install-on-Ubuntu-20.sh
@@ -31,7 +31,7 @@ export DEBIAN_FRONTEND=noninteractive #DOCS:
                         libboost-filesystem-dev libexpat1-dev zlib1g-dev \
                         libbz2-dev libpq-dev libproj-dev \
                         postgresql-server-dev-12 postgresql-12-postgis-3 \
-                        postgresql-contrib postgresql-12-postgis-3-scripts \
+                        postgresql-contrib-12 postgresql-12-postgis-3-scripts \
                         php php-pgsql php-intl \
                         python3-psycopg2 git