Cyril Cohen cf210c082d coqPackages.hierarchy-builder: init at 0.9.0		2020-03-11 17:15:52 +01:00
..
autosubst
bignums
category-theory
Cheerios
CoLoR
contribs
coq-bits
coq-elpi	elpi: 1.7.0 -> 1.10.2; coq-elpi: 1.1 -> 1.3	2020-03-03 14:57:42 +01:00
coq-ext-lib
coq-extensible-records
coq-haskell
coqhammer
coqprime
coquelicot
corn
dpdgraph	coqPackages.dpdgraph: enable for Coq ≥ 8.9	2020-03-10 17:46:15 +01:00
equations
fiat
flocq
gappalib
heq
hierarchy-builder	coqPackages.hierarchy-builder: init at 0.9.0	2020-03-11 17:15:52 +01:00
HoTT
InfSeqExt
interval
iris
ltac2
math-classes
mathcomp
metalib
paco	coqPackages.paco: enable for Coq 8.10 and 8.11	2020-03-04 07:12:02 +01:00
paramcoq
QuickChick	coqPackages_8_10.QuickChick: init at 1.2.0	2020-03-06 07:28:26 +01:00
simple-io	coqPackages.simple-io: enable for Coq 8.10	2020-03-06 07:28:26 +01:00
ssreflect
stdpp
StructTact
tlc
Velisarios
Verdi