coq-packages.nix
|
coqPackages.smtcoq: init at itp22
|
2022-04-13 19:38:01 -05:00 |
packages-config.nix
|
emacs: 27.2 -> 28.1
|
2022-04-16 16:53:45 +12:00 |
python-packages.nix
|
Merge pull request #168001 from fabaff/rns
|
2022-04-16 10:57:08 +02:00 |
qt5-packages.nix
|
libsForQt5.qca-qt5_2_3_2: init at 2.3.2
|
2022-04-13 11:37:59 -04:00 |