config.nix
|
config.contentAddressedByDefault: init option
|
2022-04-27 23:21:32 +03:00 |
coq-packages.nix
|
coqPackages.smtcoq: init at itp22
|
2022-04-13 19:38:01 -05:00 |
linux-kernels.nix
|
linux/hardened/5.4: fix build
|
2022-04-23 18:02:55 +02:00 |
packages-config.nix
|
emacs: 27.2 -> 28.1
|
2022-04-16 16:53:45 +12:00 |