pkgs/development/coq-modules/

pkgs/development/ · 0 packages and modules · 7 open pull requests

Sign in to subscribe

Busy below

QuickChick 2 · coq-elpi 2 · hierarchy-builder 2 · mathcomp 2 · CoLoR 1 · HoTT 1 · Perennial 1 · bignums 1 · compcert 1 · fourcolor 1 · iris 1 · math-classes 1 · mathcomp-analysis 1 · mathcomp-bigenough 1 · mathcomp-finmap 1 · odd-order 1 · parseque 1 · stdpp 1

Pull requests 7

rocqPackages.HoTT: init at 9.1

#535181 by proux01 · opened 3mo ago · checks fail

Fix version overriding for some `coqPackages`

#513668 by damhiya · opened 5mo ago

coqPackages.Perennial: init at unstable-2024-10-17 draft

#349328 by stepbrobd · opened 24mo ago

coq: add support for -native-compiler yes draft

#224110 by Alizter · opened 3y ago

coqPackages.QuickChick: Fix QuickChick command in Coq

#164664 by Chobbes · opened 4y ago

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

#123015 by dotlambda · opened 5y ago

#113661 by CohenCyril · opened 5y ago

Closed or merged in the synced window 2

Merge coq-modules and rocq-modules derivations

#541797 by Zimmi48 · merged 8w ago

treewide: remove with lib; from meta

#511012 by ethancedwards8 · closed 3w ago

Issues 2

Overriding version does not work for several coqPackages

#513029 by damhiya · opened 5mo ago · 1 comments

coqPackages.QuickChick missing dependency on perl and ocaml 6.topic: coq 2.status: stale

#147471 by larsr · opened 4y ago · 1 comments