9 commits

Author	SHA1	Message	Date
Vincent Laporte	7a12b3de44	coqPackages_8_4.coqExtLib: remove	2017-12-02 08:41:40 +00:00
John Wiegley	89720d851a	coqPackages_8_7: New expression, but don't make it the default yet	2017-10-22 12:43:27 -07:00
Vincent Laporte	7d75dd71dc	coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5}	2017-01-14 15:36:02 +01:00
Vincent Laporte	618b336808	coq-ext-lib: 0.9.0-beta3 -> 0.9.3	2016-04-12 19:43:49 +02:00
Vincent Laporte	2bc3965bb7	coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3	2015-11-21 04:18:14 +01:00
Vincent Laporte	6a238d4b3e	coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2	2015-09-27 10:24:25 +02:00
John Wiegley	f78f2a90d6	coqPackages.ssreflect, more: build ssrcoq binary, add maintainer	2014-10-13 16:11:33 -05:00
John Wiegley	7821d15299	coqPackages.domains: new expression	2014-10-11 22:01:46 -05:00
John Wiegley	904bee0c46	coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions	2014-10-11 17:24:59 -05:00