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 |
ruby-packages.nix
|
rubyPackages: update
|
2021-04-21 07:35:43 +02:00 |