diff --git a/Changelog.md b/Changelog.md
index 6de017511..1ec6faf1e 100644
--- a/Changelog.md
+++ b/Changelog.md
@@ -20,6 +20,7 @@ Bugfixes:
 
 Build System:
  * Add support for continuous fuzzing via Google oss-fuzz
+ * Ubuntu PPA Packages: Use CVC4 as SMT solver instead of Z3
 
 
 ### 0.5.3 (2019-01-22)
diff --git a/scripts/release_ppa.sh b/scripts/release_ppa.sh
index fcdc8d640..d65d96a1c 100755
--- a/scripts/release_ppa.sh
+++ b/scripts/release_ppa.sh
@@ -70,7 +70,7 @@ cd $distribution
 if [ $distribution = STATIC ]
 then
     pparepo=ethereum-static
-    Z3DEPENDENCY=""
+    SMTDEPENDENCY=""
     CMAKE_OPTIONS="-DSOLC_LINK_STATIC=On"
 else
     if [ "$branch" = develop ]
@@ -79,7 +79,7 @@ else
     else
         pparepo=ethereum
     fi
-    Z3DEPENDENCY="libz3-dev,
+    SMTDEPENDENCY="libcvc4-dev,
                "
     CMAKE_OPTIONS=""
 fi
@@ -127,7 +127,7 @@ Source: solc
 Section: science
 Priority: extra
 Maintainer: Christian (Buildserver key) <builds@ethereum.org>
-Build-Depends: ${Z3DEPENDENCY}debhelper (>= 9.0.0),
+Build-Depends: ${SMTDEPENDENCY}debhelper (>= 9.0.0),
                cmake,
                g++,
                git,