From e673cff5867ac0c85ddd3baedb378de09bd07459 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Ond=C5=99ej=20Sur=C3=BD?= <ondrej@sury.org>
Date: Fri, 18 Dec 2015 09:22:23 +0100
Subject: [PATCH] Only 7.0 is supported normally

---
 debian/control | 4 ++--
 debian/rules   | 2 +-
 2 files changed, 3 insertions(+), 3 deletions(-)

diff --git a/debian/control b/debian/control
index 443ce37..6225e45 100644
--- a/debian/control
+++ b/debian/control
@@ -53,8 +53,8 @@ Description: server-side, HTML-embedded scripting language (default)
 
 Package: php-all-dev
 Architecture: all
-Depends: ${misc:Depends},
-         @PHP_DEV_PACKAGES@
+Depends: php7.0-dev,
+         ${misc:Depends}
 Description: package depending on all supported PHP development packages
  The package currently depends on php7.0-dev.
  .
diff --git a/debian/rules b/debian/rules
index 58690a7..ea8b576 100755
--- a/debian/rules
+++ b/debian/rules
@@ -8,7 +8,7 @@
 #export DH_VERBOSE=1
 
 PHP_DEFAULT_VERSION    := 7.0
-PHP_SUPPORTED_VERSIONS := 5.6 7.0
+PHP_SUPPORTED_VERSIONS := 7.0
 
 PHP_DEV_PACKAGES       := $(addprefix php,$(addsuffix -dev,$(PHP_SUPPORTED_VERSIONS)))