Benjamin Hipple ef2995988a Merge pull request #83343 from vbgl/coq-coqhammer-1.1.1 ... coqPackages.coqhammer: 1.1 → 1.1.1		2020-03-28 23:20:37 -04: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	coqPackages.coqhammer: 1.1 → 1.1.1	2020-03-25 08:44:34 +01:00
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	coqPackages.paramcoq: 1.1.1 → 1.1.2	2020-03-27 18:15:11 +01:00
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