coq-packages.nix
|
coq: default to version 8.16
|
2022-10-12 20:38:44 +02:00 |
ocaml-packages.nix
|
ocamlPackages.semver: init at 0.1.0
|
2022-10-18 16:42:28 +02:00 |
perl-packages.nix
|
perlPackages.perlldap: 0.66 -> 0.68
|
2022-10-13 20:26:46 +02:00 |
ruby-packages.nix
|
rubyPackages: update
|
2022-10-15 04:20:00 +00:00 |