coq

coq 9.1.1 · pkgs/applications/science/logic/coq/default.nix

Health

Risk

risk 1 low

+1 no versionCheckHook

Version

9.1.1 no newer release in its git tags

Channels

master 9.1.1 · nixos-unstable 9.1.1 · nixos-26.05 9.1.1 no channel is behind master

Hydra

succeeded 2w ago

Advisories

none open

Packaging

no versionCheckHook

Packagewhat each field means

Description

Coq proof assistant

Long description

Coq is a formal proof management system.  It provides a formal language
to write mathematical definitions, executable algorithms and theorems
together with an environment for semi-interactive development of
machine-checked proofs.

Homepage

https://coq.inria.fr

License

LGPL-2.1

Platforms

45 platforms: Linux, Darwin

Main program

coqtop

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/applications/science/logic/coq/default.nix:323

Maintainers

roconnor, thoughtpolice, vbgl, Zimmi48

Version bumps 0all open bumps

None open.

Pull requests 3

coq: add support for -native-compiler yes draft

#224110 by Alizter · opened 3y ago

lib: etc

#113661 by CohenCyril · opened 5y ago

treewide: enable security hardening flags draft

#104091 by TredwellGit · opened 5y ago

Closed or merged in the synced window 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