php72: 7.2.11 -> 7.2.12

This commit is contained in:
Pierre Bourdon 2018-11-27 02:01:47 +01:00
parent 8221da343e
commit ec3d829257
No known key found for this signature in database
GPG Key ID: 6FB80DCD84DA0F1C
1 changed files with 2 additions and 2 deletions

View File

@ -235,8 +235,8 @@ in {
};
php72 = generic {
version = "7.2.11";
sha256 = "1idlv04j1l2d0bn5nvfrapcpjh6ayj1n4y80lqvnp5h75m07y3aa";
version = "7.2.12";
sha256 = "1dpnbsv4bdlc5v40ddddi971f456jp1qrn89w5di1dj70g1c895p";
# https://bugs.php.net/bug.php?id=76826
extraPatches = optional stdenv.isDarwin ./php72-darwin-isfinite.patch;