Vincent Laporte 4a21043578 coqPackages.mathcomp-analysis: enable for Coq 8.9		2019-02-18 08:54:11 +01:00
..
autosubst
bignums
category-theory
Cheerios
CoLoR
contribs
coq-ext-lib
coq-extensible-records
coq-haskell
coqprime
coquelicot	coqPackages.coquelicot: 3.0.1 -> 3.0.2	2019-02-15 10:03:39 +01:00
corn
dpdgraph
equations
fiat
flocq	coqPackages.flocq: 3.0.0 -> 3.1.0	2019-02-15 10:03:39 +01:00
heq
HoTT
InfSeqExt
interval	coqPackages.interval: 3.3.0 -> 3.4.0	2019-02-15 10:03:39 +01:00
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: enable for Coq 8.9	2019-02-18 08:54:11 +01:00
mathcomp-bigenough	coqPackages.mathcomp-analysis: enable for Coq 8.9	2019-02-18 08:54:11 +01:00
mathcomp-finmap	coqPackages.mathcomp-analysis: enable for Coq 8.9	2019-02-18 08:54:11 +01:00
metalib	coqPackages_8_9: disable a few packages that do not build	2019-02-08 02:01:32 +01:00
multinomials
paco
paramcoq	coqPackages.paramcoq: init at 1.1.1	2019-02-17 15:56:43 +01:00
QuickChick
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
Verdi