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
..
Cheerios	…
CoLoR	…
HoTT	…
InfSeqExt	…
QuickChick	coqPackages_8_10.QuickChick: init at 1.2.0	2020-03-06 07:28:26 +01:00
StructTact	…
Velisarios	…
Verdi	…
autosubst	…
bignums	…
category-theory	…
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	coqPackages.coq-ext-lib: 0.10.3 -> 0.11.1	2020-02-20 18:13:11 +01:00
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
interval	…
iris	…
ltac2	…
math-classes	…
mathcomp	coqPackages.mathcomp_1_10: init at 1.10.0	2020-02-24 15:18:07 +01:00
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
simple-io	coqPackages.simple-io: enable for Coq 8.10	2020-03-06 07:28:26 +01:00
ssreflect	…
stdpp	…
tlc	…