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	coqPackages.coq-haskell: Update to add Hask.Ssr module	2017-12-15 08:53:49 -08:00
coquelicot	coqPackages_8_4.coquelicot: remove	2017-12-02 08:44:29 +00:00
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	coqPackages_8_4.interval: remove	2017-12-02 08:48:41 +00:00
math-classes	coqPackages: move to a separate file and filter the package set	2017-12-18 15:30:36 +00:00
mathcomp	coqPackages_8_4.mathcomp: remove	2017-12-02 08:49:36 +00:00
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	coqPackages_8_4.ssreflect: remove	2017-12-02 08:51:36 +00:00
tlc	coqPackages.tlc: init at 20171206	2017-12-28 08:19:54 +01:00