coq-packages.nix
|
coq_8_11: init at 8.11+β1
|
2019-12-07 07:58:00 +00:00 |
haskell-packages.nix
|
ghc: add 8.10.1-alpha2
|
2019-12-27 20:58:23 +01:00 |
php-packages.nix
|
phpPackages.phpstan: 0.12.3 -> 0.12.4
|
2020-01-06 09:02:44 +01:00 |
stage.nix
|
symlinkJoin: fix cross
|
2019-10-28 15:12:35 +00:00 |