Commit Graph

29 Commits

Author SHA1 Message Date
Vincent Laporte
ab223b256d coqPackages.coq-ext-lib: 0.11.6 → 0.11.7 2022-08-17 14:44:05 +02:00
Vincent Laporte
3d80ca27c0 coqPackages.coq-ext-lib: enable for Coq 8.16 2022-06-13 11:29:20 +02:00
Théo Zimmermann
e290bc12f7 coqPackages.coq-ext-lib: 0.11.4 -> 0.11.6
Compatibility with Coq 8.15.
2022-01-25 15:24:08 +01:00
Vincent Laporte
63df91f789 coqPackages.coq-ext-lib: 0.11.3 → 0.11.4 2021-10-04 20:33:53 +02:00
Lars Rasmusson
38c34b4304 coqPackages.coq-ext-lib: add Coq 8.13 2021-04-14 13:45:56 +02:00
Cyril Cohen
9ffd16b385 coqPackages: refactor 2021-01-09 11:56:17 +01:00
Vincent Laporte
4569be3b21 coqPackages.coq-ext-lib: 0.11.2 → 0.11.3 2020-12-01 22:02:08 +01:00
Vincent Laporte
9366259691 coqPackages.coq-ext-lib: refactor 2020-12-01 22:02:08 +01:00
Vincent Laporte
ddb2c7779e coqPackages.coq-ext-lib: clean dependencies 2020-10-09 16:32:48 +02:00
Vincent Laporte
59d48ade22 coqPackages.coq-ext-lib: 0.11.1 → 0.11.2 2020-08-19 08:08:37 +02:00
Michael Reilly
84cf00f980
treewide: Per RFC45, remove all unquoted URLs 2020-04-10 17:54:53 +01:00
Valentin Robert
40376f1724 coqPackages.coq-ext-lib: 0.10.3 -> 0.11.1 2020-02-20 18:13:11 +01:00
Robin Gloster
2157dcd141
treewide: installFlags is a list 2019-12-30 13:22:43 +01:00
Valentin Robert
b937c4c734 coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3 2019-11-08 09:42:01 +00:00
volth
35d68ef143 treewide: remove redundant quotes 2019-08-26 21:40:19 +00:00
Vincent Laporte
fc32780cdf coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1 2019-03-15 18:45:01 +01:00
Vincent Laporte
e21a5e6035 coqPackages_8_9.coq-ext-lib: init at 0.10.0 2018-12-10 15:33:59 +00:00
Théo Zimmermann
8c399bd6c1
coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. 2018-10-19 10:25:09 +02:00
Vincent Laporte
3811efb347
coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8} 2018-08-08 11:24:09 +00:00
Vincent Laporte
6845b248d9 coq: init at 8.8+beta1 2018-03-21 18:06:28 +00:00
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