nixpkgs/pkgs/development/coq-modules
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 coqPackages.coq-haskell: Support building with Coq 8.8 2018-10-04 17:13:41 -07:00
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