rocq-core 9.1.1 maintained

Rocq Prover

Name: rocq-9.1.1
Package set: top-level
Homepage: https://rocq-prover.org
License: LGPL-2.1
Main program: rocq
Source: pkgs/applications/science/logic/rocq-core/default.nix:184
Derivation: /nix/store/l35jgwx80pxyfbb91v34cwsphlwrsbwy-rocq-9.1.1.drv
Also available as: coqPackages.rocq-core, rocq-core_9_1, rocqPackages.rocq-core

Maintainers 4

Handle	Name	Contact	Via
proux01	Pierre ROux	GitHub · pierre.roux@onera.fr	listed on package
roconnor	Russell O'Connor	GitHub · roconnor@r6.ca	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 6

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

Used by 29 directly, 107 transitively

Package	As	Maintainers	Used by (transitive)	Status
coq 9.1.1	propagatedBuildInputs	roconnor, thoughtpolice, vbgl, Zimmi48	85	maintained
coqPackages.stdlib 9.0.0	buildInputs		74	unmaintained
coqPackages.coq-elpi 3.5.0	buildInputs	CohenCyril	46	single
coqPackages.hierarchy-builder 1.10.3	buildInputs	CohenCyril, siraben	45	maintained
coqPackages.mathcomp-boot 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	44	maintained
coqPackages.mathcomp-order 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	32	maintained
coqPackages.mathcomp-fingroup 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	29	maintained
coqPackages.mathcomp-algebra 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	26	maintained
coqPackages.mathcomp-solvable 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	13	maintained
coqPackages.mathcomp-field 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	12	maintained
coqPackages.ssreflect 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	10	maintained
coqPackages.bignums 9.0.0+rocq9.1	buildInputs		9	unmaintained
coqPackages.mathcomp-bigenough 1.0.4	buildInputs		9	unmaintained
coqPackages.mathcomp-classical 1.16.0	buildInputs	CohenCyril	9	single
coqPackages.mathcomp-reals 1.16.0	buildInputs	CohenCyril	8	single
coqPackages.mathcomp-real-closed 2.0.5	buildInputs		7	unmaintained
coqPackages.mathcomp-analysis 1.16.0	buildInputs	CohenCyril	4	single
coqPackages.mathcomp-reals-stdlib 1.16.0	buildInputs	CohenCyril	4	single
coqPackages.mathcomp-zify 1.7.0+2.4+9.0	buildInputs	CohenCyril	4	single
coqPackages.mathcomp-character 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	2	maintained
coqPackages.parseque 0.3.1	buildInputs	womeier	2	single
coqPackages.stdpp 1.13.0	buildInputs	ineol, vbgl	2	maintained
coqPackages.mathcomp-analysis-stdlib 1.16.0	buildInputs	CohenCyril	1	single
coqPackages.mathcomp-experimental-reals 1.16.0	buildInputs	CohenCyril	1	single
coqPackages.iris 4.5.0	buildInputs	ineol, vbgl	0	maintained
coqPackages.mathcomp 2.5.0	buildInputs	CohenCyril, jwiegley, vbgl	0	maintained
coqPackages.micromega-plugin 1.1.1	buildInputs		0	unmaintained
coqPackages.relation-algebra 1.8.1	buildInputs	siraben	0	single
coqPackages.rocqnavi 0.5.0	buildInputs	CohenCyril	0	single