pkgs/development/coq-modules/hierarchy-builder/

pkgs/development/coq-modules/ · 0 packages and modules · 2 open pull requests

Sign in to subscribe

Pull requests 2

Fix version overriding for some `coqPackages`

#513668 by damhiya · opened 5mo ago

stdenv/check-meta: description may not end in period draft

#123015 by dotlambda · 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.