Elis Hirwing 9b59a912f6 php71: 7.1.15 -> 7.1.16 ...

Changelog: http://www.php.net/ChangeLog-7.php#7.1.16

2018-03-31 10:47:05 +02:00

..

default.nix

php71: 7.1.15 -> 7.1.16

2018-03-31 10:47:05 +02:00

fix-paths-php7.patch

…

fix-paths.patch

…