all-packages.nix
|
ucg: 2019-02-25 -> 2022-09-03
|
2023-04-17 19:26:36 -03:00 |
coq-packages.nix
|
coq: default to version 8.17
|
2023-04-13 14:23:20 +02:00 |
java-packages.nix
|
javaPackages: cleanup unused code
|
2023-04-14 22:23:39 -03:00 |
nim-packages.nix
|
illwillwidgets: init at 0.1.11
|
2023-04-15 21:04:52 +02:00 |
ocaml-packages.nix
|
ocamlPackages.uring: init at 0.5
|
2023-04-17 19:39:33 +02:00 |
python-aliases.nix
|
python3.pkgs.ihatemoney: remove
|
2023-04-16 16:04:35 +02:00 |