agda-packages.nix
|
agdaPackages.generics: init at 1.0.1
|
2024-07-01 17:11:41 +02:00 |
coq-packages.nix
|
coq_8_20: init at 8.20+rc1 (#323105)
|
2024-06-28 15:47:38 +02:00 |
ocaml-packages.nix
|
ocamlPackages.gitlab: init at 0.1.8
|
2024-07-06 00:52:54 +02:00 |
python-aliases.nix
|
python312Packages.asyncio-mqtt: drop
|
2024-07-07 17:20:11 +02:00 |