pkgs/development/coq-modules/coq-elpi/

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

Issues 0

None open.