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 |
python-packages.nix
|
segyio: init at 1.9.9
|
2022-04-29 12:22:24 -03:00 |
qt5-packages.nix
|
libsForQt5.qca-qt5_2_3_2: init at 2.3.2
|
2022-04-13 11:37:59 -04:00 |
release-haskell.nix
|
Merge master into haskell-updates
|
2022-04-21 00:13:51 +00:00 |