coq 9.1.1 maintained

Coq proof assistant

Name: coq-9.1.1
Package set: top-level
Homepage: https://coq.inria.fr
License: LGPL-2.1
Main program: coqtop
Source: pkgs/applications/science/logic/coq/default.nix:323
Derivation: /nix/store/pk9249bf1pl2xlc7iabrqx8iy77a6bxw-coq-9.1.1.drv
Repology: not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Also available as: coqPackages.coq, coq_9_1, rocqPackages.coq

Maintainers 4

Handle	Name	Contact	Via
roconnor	Russell O'Connor	GitHub · roconnor@r6.ca	listed on package
thoughtpolice	Austin Seipp	GitHub · aseipp@pobox.com	listed on package
vbgl	Vincent Laporte	GitHub · Vincent.Laporte@gmail.com	listed on package
Zimmi48	Théo Zimmermann	GitHub · theo.zimmermann@telecom-paris.fr	listed on package

Dependencies 7

Package	As	Maintainers	Used by (transitive)	Status
rocq-core 9.1.1	propagatedBuildInputs	proux01, roconnor, vbgl, Zimmi48	107	maintained
ncurses 6.6	buildInputs		77,216	unmaintained
dune 3.23.1	nativeBuildInputs	vbgl	1,402	single outdated
pkg-config 0.29.2	nativeBuildInputs		78,016	unmaintained
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,441	maintained outdated
csdp 6.1.1	other input	roconnor	143	single outdated
stdenv 26.05pre-git	other input		90,330	team-only

Used by 78 directly, 85 transitively

Package	As	Maintainers	Used by (transitive)	Status
coqPackages.ExtLib 0.13.2	buildInputs	jwiegley, Ptival	30	maintained
coqPackages.equations 1.3.1+9.1	buildInputs	jwiegley	23	single outdated
coqPackages.metarocq-utils 1.5.1-9.1	buildInputs	CohenCyril	21	single
coqPackages.metarocq-common 1.5.1-9.1	buildInputs	CohenCyril	19	single
coqPackages.metarocq-pcuic 1.5.1-9.1	buildInputs	CohenCyril	16	single
coqPackages.metarocq-template-rocq 1.5.1-9.1	buildInputs	CohenCyril	16	single
coqPackages.metarocq-template-pcuic 1.5.1-9.1	buildInputs	CohenCyril	14	single
coqPackages.mathcomp-finmap 2.2.2	buildInputs		13	unmaintained
coqPackages.metarocq-safechecker 1.5.1-9.1	buildInputs	CohenCyril	13	single
coqPackages.metarocq-erasure 1.5.1-9.1	buildInputs	CohenCyril	11	single
coqPackages.flocq 4.2.2	buildInputs	jwiegley	8	single
coqPackages.MenhirLib 20260203	buildInputs	damhiya	5	single
coqPackages.TypedExtraction-common 0.2.1	buildInputs	4ever2	5	single
coqPackages.coquelicot 3.4.5	buildInputs	vbgl	4	single
coqPackages.metarocq-erasure-plugin 1.5.1-9.1	buildInputs	CohenCyril	4	single
coqPackages.TypedExtraction-elm 0.2.1	buildInputs	4ever2	3	single
coqPackages.TypedExtraction-rust 0.2.1	buildInputs	4ever2	3	single
coqPackages.compcert 3.18	buildInputs	jwiegley, thoughtpolice, vbgl	3	maintained unfree
coqPackages.interval 4.11.5	buildInputs	vbgl	3	single
coqPackages.mathcomp-algebra-tactics 1.2.7	buildInputs	CohenCyril	3	single
coqPackages.paco 4.2.3	buildInputs	jwiegley, Ptival	3	maintained
coqPackages.ITree 5.2.1	buildInputs	larsr	2	single
coqPackages.TypedExtraction-plugin 0.2.1	buildInputs	4ever2	2	single
coqPackages.ceres 0.4.1	buildInputs	Zimmi48	2	single
coqPackages.ceres-bs 1.0.0	buildInputs	4ever2	2	single
coqPackages.deriving 0.2.3	buildInputs	vbgl	2	single
coqPackages.mathcomp-word 3.5	buildInputs	vbgl	2	single
coqPackages.metarocq-safechecker-plugin 1.5.1-9.1	buildInputs	CohenCyril	2	single
coqPackages.multinomials 2.4.0	buildInputs		2	unmaintained
coqPackages.simple-io 1.11.0	buildInputs	vbgl	2	single
coqPackages.QuickChick 2.1.1	buildInputs	jwiegley	1	single
coqPackages.StructTact 20230107	buildInputs		1	unmaintained
coqPackages.TypedExtraction 0.2.1	buildInputs	4ever2	1	single
coqPackages.aac-tactics 9.0.0	buildInputs	siraben	1	single
coqPackages.coq-hammer-tactics 1.3.3+9.1	buildInputs	vbgl	1	single
coqPackages.coqeal 2.1.2	buildInputs		1	unmaintained
coqPackages.extructures 0.5.0	buildInputs	vbgl	1	single
coqPackages.fourcolor 1.4.3	buildInputs	siraben	1	single
coqPackages.libvalidsdp 1.1.1	buildInputs		1	unmaintained
coqPackages.metarocq-quotation 1.5.1-9.1	buildInputs	CohenCyril	1	single
coqPackages.metarocq-translations 1.5.1-9.1	buildInputs	CohenCyril	1	single
coqPackages.parsec 0.2.0	buildInputs	Zimmi48	1	single
coqPackages.unicoq 1.6-9.1	buildInputs		1	unmaintained
coqPackages.wasmcert 2.2.0	buildInputs	womeier	1	single
coq-kernel 1.6.0	other input		0	unmaintained
coqPackages.CakeMLExtraction 0.1.0	buildInputs	4ever2	0	single
coqPackages.CertiRocq 0.9.1+9.1	buildInputs	4ever2, womeier	0	maintained
coqPackages.Cheerios 20230107	buildInputs		0	unmaintained
coqPackages.CoLoR 1.8.6	buildInputs	jpas, jwiegley	0	maintained
coqPackages.ConCert 1.0.1	buildInputs	4ever2	0	single
coqPackages.InfSeqExt 20230107	buildInputs		0	unmaintained
coqPackages.Ordinal 0.5.6	buildInputs	damhiya	0	single
coqPackages.VST 2.17	buildInputs		0	unmaintained
coqPackages.autosubst 1.9	buildInputs	jwiegley, siraben	0	maintained
coqPackages.coq-hammer 1.3.3+9.1	buildInputs	vbgl	0	single
coqPackages.coq-lsp 0.2.5+9.1	buildInputs	Alizter	0	single
coqPackages.coq-record-update 0.3.6	buildInputs	ineol	0	single
coqPackages.coqprime 8.20	buildInputs	vbgl	0	single
coqPackages.coqutil 0.0.7	buildInputs	stepbrobd	0	single
coqPackages.dpdgraph 1.0+9.1	buildInputs	vbgl	0	single
coqPackages.fcsl-pcm 2.2.0	buildInputs	proux01	0	single
coqPackages.gaia 2.4	buildInputs	Zimmi48	0	single
coqPackages.graph-theory 0.9.7	buildInputs	siraben	0	single
coqPackages.jasmin 2026.03.3	buildInputs	proux01, vbgl	0	maintained
coqPackages.json 0.2.0	buildInputs		0	unmaintained
coqPackages.math-classes 9.2.0	buildInputs	jwiegley, langston-barrett	0	maintained
coqPackages.mathcomp-infotheo 0.9.7	buildInputs		0	unmaintained
coqPackages.mathcomp-tarjan 1.0.5	buildInputs		0	unmaintained
coqPackages.metarocq 1.5.1-9.1	buildInputs	CohenCyril	0	single
coqPackages.mtac2 1.4-rocq9.1	buildInputs		0	unmaintained
coqPackages.odd-order 2.4.0	buildInputs	siraben	0	single
coqPackages.reglang 1.2.2	buildInputs	siraben	0	single
coqPackages.rewriter 0.0.15	buildInputs		0	unmaintained
coqPackages.ssprove 0.3.1	buildInputs	sertel	0	single
coqPackages.validsdp 1.1.1	buildInputs		0	unmaintained
coqPackages.verified-extraction 1.0.0-9.1	buildInputs	4ever2	0	single
coqPackages.vsrocq-language-server 2.4.3	buildInputs	CohenCyril	0	single
satallax 2.7	nativeBuildInputs	7c6f434c	0	single