coq-packages.nix
|
coq: default to version 8.13
|
2021-05-10 18:57:58 +02:00 |
ocaml-packages.nix
|
ppx_deriving_cmdliner: init at 0.6.0
|
2021-05-02 14:52:52 +02:00 |
php-packages.nix
|
php.packages.deployer: init at 6.8.0
|
2021-05-05 08:38:28 -04:00 |
python-packages.nix
|
pythonPackages.sip: rename to sip_4
|
2021-05-10 20:41:38 +02:00 |