coq-packages.nix
|
coq_8_17: init at 8.17+rc1 (#209145)
|
2023-01-06 15:51:50 +01:00 |
lua-packages.nix
|
luaPackages.vicious: 2.5.1 -> 2.6.0
|
2023-01-09 15:21:28 +09:00 |
ocaml-packages.nix
|
mldonkey: migrate to OCaml 4.13
|
2023-01-19 13:55:44 +08:00 |
php-packages.nix
|
php.extensions.enchant: use enchant2
|
2023-01-17 17:45:16 +08:00 |