agda-packages.nix
|
agda-categories: init at 0.1
|
2020-05-14 20:54:12 +01:00 |
haskell-packages.nix
|
ghcHEAD: 20200403 -> 20200505
|
2020-05-08 21:11:46 +02:00 |
php-packages.nix
|
phpPackages: phpmd (#87387)
|
2020-05-11 08:59:43 +02:00 |
release.nix
|
agda: rework builder
|
2020-05-14 20:54:11 +01:00 |