Vincent Laporte 4018a4cddf coqPackages.interval: 3.4.0 -> 3.4.1		2019-08-12 09:05:16 +00:00
..
Cheerios	…
CoLoR	…
HoTT	…
InfSeqExt	…
QuickChick	…
StructTact	…
Velisarios	…
Verdi	…
autosubst	…
bignums	…
category-theory	coqPackages.equations: 1.2beta2 -> 1.2 (#65281)	2019-07-23 22:27:55 +02:00
contribs	…
coq-elpi	elpi: 1.4.1 -> 1.6.0, and coq-elpi	2019-08-09 08:47:52 +00:00
coq-ext-lib	…
coq-extensible-records	…
coq-haskell	…
coqhammer	…
coqprime	…
coquelicot	coqPackages.coquelicot: 3.0.2 -> 3.0.3	2019-08-03 06:16:54 +00:00
corn	…
dpdgraph	…
equations	coqPackages.equations: 1.2beta2 -> 1.2 (#65281)	2019-07-23 22:27:55 +02:00
fiat	…
flocq	coqPackages.flocq: fetch sources from gitlab	2019-08-05 09:21:02 +00:00
gappalib	…
heq	…
interval	coqPackages.interval: 3.4.0 -> 3.4.1	2019-08-12 09:05:16 +00:00
iris	…
ltac2	…
math-classes	coqPackages.math-classes: 8.8.1 -> 8.9.1	2019-07-22 11:37:37 +00:00
mathcomp	…
metalib	…
paco	…
paramcoq	…
simple-io	…
ssreflect	…
stdpp	…
tlc	…