nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-08-31 12:44:44 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,064,951 Commits 454 Branches 81 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Vincent Laporte
af28548264 rocqPackages.math-classes: init at 9.2.0 for Coq ≥ 9.0 2026-08-25 17:06:00 +02:00
Théo Zimmermann
9ab29d8bf2 coqPackages: move remaining derivations to rocq-modules 2026-08-18 15:39:37 +02:00