John Wiegley 1ba4d23c3a Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27" ... This reverts commit f5f71c08cd, due to insufficient testing.		2018-10-10 10:00:23 -07:00
..
autosubst
bignums
category-theory
CoLoR
contribs
coq-ext-lib
coq-haskell
coqprime
coquelicot
dpdgraph
equations
fiat	Revert "coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27"	2018-10-10 10:00:23 -07:00
flocq
heq
HoTT
interval
iris
math-classes
mathcomp
metalib
multinomials
paco
QuickChick
ssreflect
stdpp
tlc