John Wiegley 7239ffcc3c coqPackages.equations: 1.2-beta-8.9 for coq_8_9		2019-01-31 11:56:07 -08:00
..
autosubst
bignums
category-theory	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
Cheerios	coqPackages.Cheerios: fix build	2018-12-21 12:37:04 +01:00
CoLoR
contribs
coq-ext-lib
coq-extensible-records	coqPackages.coq-extensible-records: init at 1.2.0	2019-01-30 11:30:23 +00:00
coq-haskell	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
coqprime	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
coquelicot
corn
dpdgraph	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
equations	coqPackages.equations: 1.2-beta-8.9 for coq_8_9	2019-01-31 11:56:07 -08:00
fiat
flocq	coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0}	2019-01-23 07:45:16 +00:00
heq
HoTT
InfSeqExt	coqPackages.InfSeqExt: fix build	2018-12-21 12:37:04 +01:00
interval
iris
math-classes
mathcomp
metalib
multinomials
paco
QuickChick	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
simple-io
ssreflect
stdpp
StructTact
tlc
Velisarios	coq-modules: add default to fix eval	2019-01-28 10:16:30 -05:00
Verdi	coqPackages.Verdi: fix build	2018-12-21 12:37:04 +01:00