Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

pkgs/applications/science/logic/coq/

pkgs/applications/science/logic/ · 1 packages and modules · 3 open pull requests

Sign in to watch

Packages and modules 1

coq risk 1

3 open PRs · 2 issues

Pull requests 3

coq: add support for -native-compiler yes draft

#224110 by Alizter · opened 3y ago

#113661 by CohenCyril · opened 5y ago

treewide: enable security hardening flags draft

#104091 by TredwellGit · opened 5y ago

Closed or merged in the last 60 days 7

various: OCaml multiple outputs

#567406 by georgyo · merged 2d ago

ocamlPackages.buildDunePackage: split dev output by default draft

#567354 by georgyo · closed 2w ago

rocq-core: 9.3+rc1 -> 9.3.0

#565451 by proux01 · merged 3w ago

coq_8_{7,8,9}: fix build by adding missing camlp5

#562865 by iedame · merged 4w ago

[Backport release-26.05] coq: fix compilation following https://github.com/rocq-prover/rocq/pull/22327

#554727 by nixpkgs-ci · merged 8w ago

coq: fix compilation following https://github.com/rocq-prover/rocq/pull/22327

#554328 by proux01 · merged 8w ago

Merge coq-modules and rocq-modules derivations

#541797 by Zimmi48 · merged 8w ago

Issues 2

coq: mechanism to override version is confusing

#560483 by leana8959 · opened 5w ago · 0 comments

Coq setupHook searches paths of the form $prefix/lib/coq/$version which is not standard 6.topic: coq 2.status: stale

#113695 by CohenCyril · opened 5y ago · 6 comments