From 022a3a14615b71f65d1d7623d3dcce017c03e3cd Mon Sep 17 00:00:00 2001
From: Jeff Ching <ching.jeff@gmail.com>
Date: Tue, 6 Jun 2017 10:48:15 -0700
Subject: [PATCH] update the debian sub-version for the php base packages
 (including gmp) (#307)

---
 deb-package-builder/build_packages.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/deb-package-builder/build_packages.sh b/deb-package-builder/build_packages.sh
index abc92823..06978cac 100755
--- a/deb-package-builder/build_packages.sh
+++ b/deb-package-builder/build_packages.sh
@@ -21,7 +21,7 @@ if [ -z "${GOOGLE_PROJECT_ID}" ]; then
 fi
 
 if [ -z "${PHP_VERSIONS}" ]; then
-    PHP_VERSIONS='7.1.5-1,7.0.19-1,5.6.30-3'
+    PHP_VERSIONS='7.1.5-2,7.0.19-2,5.6.30-4'
     echo "Defaulting PHP Versions to: ${PHP_VERSIONS}"
 fi