coq-packages.nix
|
coqPackages.atbr: init at 8.20.0
|
2024-08-22 10:36:04 +02:00 |
linux-kernels.nix
|
linux-packages: fix argsOverride
|
2024-08-18 10:38:23 +03:00 |
python-aliases.nix
|
python3Packages.django-crontab: drop
|
2024-08-21 04:45:20 +02:00 |
release-small.nix
|
lsh: drop
|
2024-08-20 12:02:12 +02:00 |