pkgs/development/coq-modules/mathcomp/
pkgs/development/coq-modules/ · 0 packages and modules · 2 open pull requests
Pull requests 2
Fix version overriding for some `coqPackages`
#513668 by damhiya · opened 5mo ago
lib: etc
#113661 by CohenCyril · opened 5y 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.