Vincent Laporte da84fab60b coqPackages_8_4.contribs: remove		2017-12-02 08:54:19 +00:00
..
autosubst
bignums	bignums: init at various versions	2017-11-05 16:59:23 +01:00
CoLoR	coqPackages.CoLoR: 1.3.0 -> 1.4.0, which now supports Coq 8.7	2017-11-12 10:03:32 -08:00
coq-ext-lib	coqPackages_8_4.coqExtLib: remove	2017-12-02 08:41:40 +00: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	Add missing default.nix for coqPackages.equations	2017-11-12 09:33:40 -08:00
fiat	coqPackages_8_4.fiat: remove	2017-12-02 08:46:16 +00:00
flocq	coqPackages.flocq: 2.5.2 -> 2.6.0	2017-10-18 23:21:37 +00:00
heq
HoTT	coqPackages.HoTT: init at 20170921	2017-10-11 02:51:16 +02:00
interval	coqPackages_8_4.interval: remove	2017-12-02 08:48:41 +00:00
math-classes	coqPackages.math-classes: 1.0.6 -> 1.0.7	2017-11-05 16:59:23 +01:00
mathcomp	coqPackages_8_4.mathcomp: remove	2017-12-02 08:49:36 +00:00
metalib	coqPackages.metalib: New expression	2017-11-12 09:34:06 -08:00
paco
QuickChick	coqPackages_8_4.QuickChick: remove	2017-12-02 08:51:02 +00:00
ssreflect	coqPackages_8_4.ssreflect: remove	2017-12-02 08:51:36 +00:00