Vincent Laporte a9d066a990 coqPackages.tlc: init at 20171206 ... TLC is a general purpose Coq library that provides an alternative to Coq's standard library. Homepage: http://www.chargueraud.org/softs/tlc/		2017-12-28 08:19:54 +01:00
..
autosubst	coqPackages.autosubst: fix hash	2017-07-28 06:45:31 +00:00
bignums	bignums: init at various versions	2017-11-05 16:59:23 +01: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: move to a separate file and filter the package set	2017-12-18 15:30:36 +00: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
QuickChick	coqPackages_8_7.QuickChick: update to latest master	2017-12-12 11:37:17 -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