Vincent Laporte 5d3e350536 coqPackages.mathcomp-analysis: init at 0.1.0		2019-02-09 12:33:02 +01:00
..
autosubst
bignums
category-theory	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
Cheerios
CoLoR
contribs
coq-ext-lib
coq-extensible-records
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
heq
HoTT
InfSeqExt
interval
iris	coqPackages_8_9: disable a few packages that do not build	2019-02-08 02:01:32 +01:00
math-classes
mathcomp
mathcomp-analysis	coqPackages.mathcomp-analysis: init at 0.1.0	2019-02-09 12:33:02 +01:00
mathcomp-bigenough	coqPackages.mathcomp-bigenough: init at 1.0.0	2019-02-09 12:33:02 +01:00
mathcomp-finmap	coqPackages.mathcomp-finmap: init at 1.1.0	2019-02-09 12:33:02 +01:00
metalib	coqPackages_8_9: disable a few packages that do not build	2019-02-08 02:01:32 +01:00
multinomials
paco
QuickChick	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
simple-io
ssreflect
stdpp	coqPackages_8_9: disable a few packages that do not build	2019-02-08 02:01:32 +01:00
StructTact
tlc
Velisarios	Revert "coq-modules: add default to fix eval"	2019-02-01 16:02:42 +00:00
Verdi