coq-modules « development « pkgs - nixpkgs - Downstream nixpkgs tree for Spectrum

Mode	Name	Size
d---------	Cheerios	39	log plain
d---------	CoLoR	39	log plain
d---------	HoTT	39	log plain
d---------	InfSeqExt	39	log plain
d---------	QuickChick	39	log plain
d---------	StructTact	39	log plain
d---------	Velisarios	39	log plain
d---------	Verdi	39	log plain
d---------	autosubst	106	log plain
d---------	bignums	39	log plain
d---------	category-theory	39	log plain
d---------	contribs	39	log plain
d---------	coq-bits	39	log plain
d---------	coq-elpi	39	log plain
d---------	coq-ext-lib	39	log plain
d---------	coq-extensible-records	39	log plain
d---------	coq-haskell	39	log plain
d---------	coqhammer	39	log plain
d---------	coqprime	39	log plain
d---------	coquelicot	39	log plain
d---------	corn	39	log plain
d---------	dpdgraph	39	log plain
d---------	equations	39	log plain
d---------	fiat	36	log plain
d---------	flocq	39	log plain
d---------	gappalib	39	log plain
d---------	heq	39	log plain
d---------	interval	39	log plain
d---------	iris	39	log plain
d---------	ltac2	39	log plain
d---------	math-classes	39	log plain
d---------	mathcomp	76	log plain
d---------	metalib	39	log plain
d---------	paco	39	log plain
d---------	paramcoq	39	log plain
d---------	simple-io	39	log plain
d---------	ssreflect	39	log plain
d---------	stdpp	39	log plain
d---------	tlc	39	log plain