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

..

default.nix

…