coq-packages.nix
|
coq: default to version 8.13
|
2021-05-10 18:57:58 +02:00 |
lua-packages.nix
|
Revert "lua51Packages.luxio: fix build"
|
2021-05-15 09:37:32 +02:00 |
ocaml-packages.nix
|
Merge master into staging-next
|
2021-05-11 06:20:33 +00:00 |
php-packages.nix
|
php.packages.deployer: init at 6.8.0
|
2021-05-05 08:38:28 -04:00 |