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	…
StructTact	…
Velisarios	…
Verdi	…
autosubst	…
bignums	…
category-theory	…
contribs	…
coq-bits	…
coq-elpi	…
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
interval	…
iris	…
ltac2	…
math-classes	…
mathcomp	…
metalib	…
paco	…
paramcoq	coqPackages.paramcoq: 1.1.1 → 1.1.2	2020-03-27 18:15:11 +01:00
simple-io	…
ssreflect	…
stdpp	…
tlc	…