Vincent Laporte 59949aa55c Revert "coq-modules: add default to fix eval" ... This reverts commit e20b65156c.		2019-02-01 16:02:42 +00:00
..
autosubst
bignums
category-theory	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
Cheerios	coqPackages.Cheerios: fix build	2018-12-21 12:37:04 +01:00
CoLoR
contribs
coq-ext-lib	coqPackages_8_9.coq-ext-lib: init at 0.10.0	2018-12-10 15:33:59 +00:00
coq-extensible-records	coqPackages.coq-extensible-records: init at 1.2.0	2019-01-30 11:30:23 +00:00
coq-haskell	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
coqprime	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
coquelicot
corn
dpdgraph	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
equations	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00: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	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
simple-io	coqPackages.simple-io: init at 0.2	2018-12-10 15:35:34 +00:00
ssreflect
stdpp
StructTact	coqPackages.StructTact: fix build	2018-12-21 12:37:04 +01:00
tlc
Velisarios	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
Verdi	coqPackages.Verdi: fix build	2018-12-21 12:37:04 +01:00