aliases.nix
|
Merge pull request #168105 from aaronjheng/c14-cli
|
2022-04-26 16:54:33 +08:00 |
coq-packages.nix
|
coqPackages.smtcoq: init at itp22
|
2022-04-13 19:38:01 -05:00 |
ocaml-packages.nix
|
ocamlPackages.reperf: init 1.5.1
|
2022-04-22 14:46:33 +02:00 |
packages-config.nix
|
emacs: 27.2 -> 28.1
|
2022-04-16 16:53:45 +12:00 |
python-aliases.nix
|
python3Packages.net2grid: remove
|
2022-04-22 08:10:18 +02:00 |
release-haskell.nix
|
Merge master into haskell-updates
|
2022-04-21 00:13:51 +00:00 |