From c4b49508be9f86511ae12e05c6be901260f02b27 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?S=C3=A9bastien=20Helleu?= Date: Mon, 5 Mar 2018 20:49:32 +0100 Subject: debian: build with PHP 7.2 by default (issue #1154) --- debian-devel/control | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) (limited to 'debian-devel') diff --git a/debian-devel/control b/debian-devel/control index 35de2c374..b23d8cfc1 100644 --- a/debian-devel/control +++ b/debian-devel/control @@ -16,7 +16,7 @@ Build-Depends: tcl8.6-dev, guile-2.0-dev, libv8-dev [amd64 armel armhf hurd-i386 i386 kfreebsd-amd64 kfreebsd-i386 mips mipsel], - php7.1-dev, libphp7.1-embed, libxml2-dev, + php7.2-dev, libphp7.2-embed, libxml2-dev, libargon2-0-dev, libsodium-dev, libcurl4-gnutls-dev, libgcrypt20-dev, libgnutls28-dev, @@ -181,7 +181,7 @@ Description: Fast, light and extensible chat client - javascript plugin Package: weechat-devel-php Architecture: any Depends: ${misc:Depends}, ${shlibs:Depends}, weechat-devel-curses (= ${binary:Version}), - libphp7.1-embed + libphp7.2-embed Conflicts: weechat-php Description: Fast, light and extensible chat client - php plugin WeeChat (Wee Enhanced Environment for Chat) is a fast and light chat client -- cgit v1.2.3