pkgs/development/coq-modules/mathcomp-analysis/
pkgs/development/coq-modules/ · 0 packages and modules · 1 open pull requests
Pull requests 1
Fix version overriding for some `coqPackages`
#513668 by damhiya · opened 5mo ago
Closed or merged in the synced window 1
Merge coq-modules and rocq-modules derivations
#541797 by Zimmi48 · merged 8w ago
Issues 0
None open.