diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh index c716bac4c..90ef3c943 100755 --- a/scripts/release_ppa.sh +++ b/scripts/release_ppa.sh @@ -140,7 +140,7 @@ Priority: extra Maintainer: Christian (Buildserver key) Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0), cmake, - g++, + g++ (>= 5.0), git, libgmp-dev, libboost-all-dev,