ada-packages.nix
|
gnatPackages.gpr2: init at 24.0.0
|
2024-10-25 23:03:58 +02:00 |
aliases.nix
|
gn1924: drop (#353310)
|
2024-11-04 19:33:50 +01:00 |
coq-packages.nix
|
Add MetaCoq-translations package
|
2024-10-31 11:09:26 +01:00 |
darwin-packages.nix
|
Merge master into staging-next
|
2024-10-29 18:04:32 +00:00 |
ocaml-packages.nix
|
ocamlPackages.kdf: init at 1.0.0
|
2024-10-28 07:42:43 +01:00 |