all-packages.nix
|
sagoin: init at 0.1.0
|
2022-10-25 14:40:59 -04:00 |
coq-packages.nix
|
coq: default to version 8.16
|
2022-10-12 20:38:44 +02:00 |
ocaml-packages.nix
|
ocamlPackages.buildOcaml: remove
|
2022-10-25 09:40:57 +02:00 |
python-aliases.nix
|
Merge master into staging-next
|
2022-10-21 00:05:50 +00:00 |