debian/control: remove unnecessary versioned dependency on pkg-php-tools
authorAntonio Ospite <ao2@ao2.it>
Sat, 7 Sep 2019 20:27:07 +0000 (22:27 +0200)
committerAntonio Ospite <ao2@ao2.it>
Sat, 7 Sep 2019 21:31:08 +0000 (23:31 +0200)
commitda3f0ba61025ba1ab6f0c7e3b064c0470d0cbb0b
treed44a9f74e4e016912cd997e4ce0d78185934287f
parent63ce314f725102c51be274e483792315f39141be
debian/control: remove unnecessary versioned dependency on pkg-php-tools

Remove an unnecessary versioned dependency on pkg-php-tools, as
suggested by the following cme warning:

-----------------------------------------------------------------------
Warning in 'control source Build-Depends:1': unnecessary greater-than versioned dependency: pkg-php-tools (>= 1.7~). Debian has oldoldstable -> 1.28; oldstable -> 1.35; stable -> 1.37; unstable -> 1.37; testing -> 1.37;
Offending value: 'pkg-php-tools (>= 1.7~)'
-----------------------------------------------------------------------
debian/control