coq-packages.nix
|
coqPackages.MenhirLib: init at 20240715
|
2024-08-20 14:58:36 +02:00 |
linux-kernels.nix
|
linux-packages: fix argsOverride
|
2024-08-18 10:38:23 +03:00 |
release-cuda.nix
|
python312Packages.libgpuarray: drop
|
2024-08-03 22:20:45 -04:00 |
release-small.nix
|
lsh: drop
|
2024-08-20 12:02:12 +02:00 |