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 |
release-haskell.nix
|
Merge master into haskell-updates
|
2022-04-21 00:13:51 +00:00 |