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 |
python-aliases.nix
|
python3.pkgs.ihatemoney: remove
|
2023-04-16 16:04:35 +02:00 |
ruby-packages.nix
|
rubyPackages: update
|
2023-03-30 04:20:00 +00:00 |