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

coqPackages.autosubst: fix hash

2017-07-28 06:45:31 +00:00

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

coqPackages_8_4.coqExtLib: remove

2017-12-02 08:41:40 +00:00

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

coqPackages.dpdgraph: Build version 0.6.2 for Coq 8.7

2017-11-12 08:50:36 -08:00

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

coqPackages.flocq: 2.5.2 -> 2.6.0

2017-10-18 23:21:37 +00:00

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

coqPackages.paco: 1.2.7 -> 1.2.8

2017-07-10 18:35:55 -07:00

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