rocqPackages.coq 9.1.1 maintained

Coq proof assistant

Name: coq-9.1.1
Package set: rocqPackages
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-14T00:45:21Z)

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,043	unmaintained
dune 3.23.1	nativeBuildInputs	vbgl	1,399	single outdated
pkg-config 0.29.2	nativeBuildInputs		77,851	unmaintained
bashNonInteractive 5.3p15	other input	andir, balsoft, infinisil, pyrox0	102,327	maintained outdated
csdp 6.1.1	other input	roconnor	139	single outdated
stdenv 26.05pre-git	other input		90,213	team-only

Used by 77 directly, 84 transitively

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