John Wiegley dc6f3e3c7b coqPackages_8_7.QuickChick: update to latest master		2017-12-12 11:37:17 -08:00
..
autosubst
bignums
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
heq
HoTT
interval	coqPackages_8_4.interval: remove	2017-12-02 08:48:41 +00:00
math-classes
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_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