coq-packages.nix
|
coq_8_12: 8.12.0 → 8.12.1
|
2020-11-15 12:03:15 +01:00 |
darwin-packages.nix
|
darwin/apple-sdk: use darwin stubs
|
2020-11-12 00:23:09 +09:00 |
java-packages.nix
|
javaPackages: add upgraded packages
|
2020-10-22 10:11:36 +09:00 |
php-packages.nix
|
php: Drop usage of isPhp73 and isPhp74
|
2020-10-11 20:10:58 +02:00 |