php71: init at 7.1.0

This commit is contained in:
Franz Pletz 2016-12-13 21:55:05 +01:00
parent d3be9a50e0
commit 762d902b1d
No known key found for this signature in database
GPG key ID: 846FDED7792617B4
2 changed files with 11 additions and 1 deletions

View file

@ -310,4 +310,9 @@ in {
version = "7.0.13";
sha256 = "1hc8zry3mrggfh1yxvm255xal5h6bxf0p3wdq307w48j719bp46h";
};
php71 = generic {
version = "7.1.0";
sha256 = "0qcf4aahkiwypidw42pd5dz34n10296zgjfyh56lgcymxryzvg38";
};
}

View file

@ -5621,9 +5621,14 @@ in
php = php70;
});
php71Packages = recurseIntoAttrs (callPackage ./php-packages.nix {
php = php71;
});
inherit (callPackages ../development/interpreters/php { })
php56
php70;
php70
php71;
picoc = callPackage ../development/interpreters/picoc {};