nordic-dev.net/nixpkgs
nordic-dev.net/nixpkgs
2
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2025-02-03 02:33:15 +00:00
Code Issues Packages Projects Releases Wiki Activity
574,002 Commits 185 Branches 125 Tags 7.6 GiB
cc1c593b1a
Commit Graph

6 Commits

Author SHA1 Message Date
Pierre Roux
7c0435d86d Bump a few things compiling with Coq 8.19 2023-12-19 20:20:53 +01:00
Vincent Laporte
02643fe422 coq_8_18: init at 8.18+rc1 2023-09-04 10:02:59 +02:00
Vincent Laporte
0697e32ae1
coqPackages_8_17: enable a few packages for Coq 8.17 2023-04-13 14:23:14 +02:00
Shawn8901
4dcb03a5c3 treewide: remove global with lib; statements in pkgs/coq-modules 2023-01-21 23:19:48 +01:00
Vincent Laporte
7d14828292 coqPackages.LibHyps: enable for Coq 8.16 2022-06-13 11:29:20 +02:00
Théo Zimmermann
7fa2a7232d coqPackages.LibHyps: init at 2.0.4.1 2022-02-20 14:14:40 +01:00