aliases.nix
|
stopmotion: rename from linuxstopmotion
|
2024-11-05 18:36:58 +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 |