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 |
static.nix
|
Merge master into staging-next
|
2020-01-10 10:34:04 +01:00 |