Tim Steinbach 198fd526ca Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"		2017-11-07 17:15:09 +00:00
..
autosubst
bedrock
bignums	bignums: init at various versions	2017-11-05 16:59:23 +01:00
CoLoR
contribs
coq-ext-lib
coqeal
coquelicot
domains
dpdgraph	coqPackages.dpdgraph: remove support for coq 8.7	2017-10-30 02:02:19 +01:00
fiat	coqPackages.fiat_HEAD: mark as broken with Coq ≥ 8.6	2017-10-22 20:48:18 +00:00
flocq
heq
HoTT
interval
math-classes	coqPackages.math-classes: 1.0.6 -> 1.0.7	2017-11-05 16:59:23 +01:00
mathcomp	Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"	2017-11-07 17:15:09 +00:00
paco
QuickChick	coqPackages.QuickChick: remove support for coq 8.7	2017-10-23 22:40:29 +02:00
ssreflect	Revert "coqPackages.{ssreflect,mathcomp}: 1.6.1 -> 1.6.4"	2017-11-07 17:15:09 +00:00
tlc
unimath
ynot