nathan/nixpkgs
1
0
Fork 0
mirror of https://github.com/NixOS/nixpkgs.git synced 2026-09-03 14:14:43 +00:00
Code Issues Packages Projects Releases Wiki Activity
1,058,993 Commits 460 Branches 81 Tags
python-updates
Commit Graph

2 Commits

Author SHA1 Message Date
Théo Zimmermann
124e44e7fa coqPackages: stop building from coq-packages.nix for >= 9 
Introduce aliases.

coqPackages.rocq-core: introduce as alias of coq for Coq < 9

To facilitate the merging of coq-modules and rocq-modules derivations.
 2026-08-18 15:39:37 +02:00
Théo Zimmermann
9ab29d8bf2 coqPackages: move remaining derivations to rocq-modules 2026-08-18 15:39:37 +02:00