coq-packages.nix
|
coqPackages.MenhirLib: init at 20240715
|
2024-08-20 14:58:36 +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-small.nix
|
lsh: drop
|
2024-08-20 12:02:12 +02:00 |
release.nix
|
arocc: init at 0-unstable-06-01
|
2024-07-27 19:43:41 -07:00 |