ada-packages.nix
|
gnatPackages.gpr2: init at 24.0.0
|
2024-10-25 23:03:58 +02:00 |
aliases.nix
|
{bloom,tailor}: drop (#353156)
|
2024-11-03 21:26:16 +08:00 |
all-packages.nix
|
garble: fix build (#345252)
|
2024-11-04 00:39:07 +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 |
linux-kernels.nix
|
linux-kernels: fix typo
|
2024-11-01 23:15:28 +01:00 |
ocaml-packages.nix
|
ocamlPackages.kdf: init at 1.0.0
|
2024-10-28 07:42:43 +01:00 |