coq-packages.nix
|
coqPackages.coinduction: init at 1.9
|
2024-08-07 15:44:13 +02:00 |
emacs-packages.nix
|
emacs.pkgs.nongnuDevelPackages: init
|
2024-07-30 19:15:25 +08:00 |
haskell-packages.nix
|
Merge master into haskell-updates
|
2024-07-31 00:12:53 +00: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 |