John Wiegley 4bd69fd249 coqPackages.bignums: Change expression to match other Coq packages ... Without this change, it's impossible to override bignums, or ignore it when creating custom datasets for other versions of Coq (such as 8.8+alpha).		2018-03-06 07:46:51 -08:00
..
autosubst
bignums	coqPackages.bignums: Change expression to match other Coq packages	2018-03-06 07:46:51 -08:00
category-theory	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
CoLoR	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
contribs	coqPackages.contribs.containers: fix url	2017-12-22 17:07:25 +00:00
coq-ext-lib
coq-haskell
coquelicot
dpdgraph
equations	coqPackages.equations: -> 1.0	2017-12-21 01:06:14 -08:00
fiat	coqPackages.fiat_HEAD: Update 2016-10-24 -> 2018-02-27	2018-03-05 13:07:16 -08:00
flocq
heq
HoTT	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
interval
math-classes	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
mathcomp
metalib	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
multinomials	coqPackages.multinomials: init at 1.0	2017-12-18 15:30:38 +00:00
paco
QuickChick	coqPackages.QuickChick: use fetchFromGitHub	2018-03-06 07:46:51 -08:00
ssreflect
tlc	coqPackages.tlc: init at 20171206	2017-12-28 08:19:54 +01:00