Age | Commit message (Expand) | Author | Files | Lines |
2023-09-04 | coq_8_18: init at 8.18+rc1 | Vincent Laporte | 1 | -1/+1 |
2023-07-27 | coqPackages.coq-ext-lib: 0.11.7 → 0.11.8 | Vincent Laporte | 1 | -1/+2 |
2023-03-15 | coqPackages.coq-ext-lib: enable for Coq 8.17 | Vincent Laporte | 1 | -1/+1 |
2023-01-21 | treewide: remove global with lib; statements in pkgs/coq-modules | Shawn8901 | 1 | -3/+3 |
2022-08-17 | coqPackages.coq-ext-lib: 0.11.6 → 0.11.7 | Vincent Laporte | 1 | -0/+2 |
2022-06-13 | coqPackages.coq-ext-lib: enable for Coq 8.16 | Vincent Laporte | 1 | -1/+1 |
2022-01-25 | coqPackages.coq-ext-lib: 0.11.4 -> 0.11.6 | Théo Zimmermann | 1 | -1/+3 |
2021-10-04 | coqPackages.coq-ext-lib: 0.11.3 → 0.11.4 | Vincent Laporte | 1 | -0/+2 |
2021-04-14 | coqPackages.coq-ext-lib: add Coq 8.13 | Lars Rasmusson | 1 | -1/+1 |
2021-01-09 | coqPackages: refactor | Cyril Cohen | 1 | -59/+25 |
2020-12-01 | coqPackages.coq-ext-lib: 0.11.2 → 0.11.3 | Vincent Laporte | 1 | -5/+6 |
2020-12-01 | coqPackages.coq-ext-lib: refactor | Vincent Laporte | 1 | -16/+33 |
2020-10-09 | coqPackages.coq-ext-lib: clean dependencies | Vincent Laporte | 1 | -2/+1 |
2020-08-19 | coqPackages.coq-ext-lib: 0.11.1 → 0.11.2 | Vincent Laporte | 1 | -4/+5 |
2020-04-10 | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 1 | -1/+1 |
2020-02-20 | coqPackages.coq-ext-lib: 0.10.3 -> 0.11.1 | Valentin Robert | 1 | -5/+7 |
2019-12-30 | treewide: installFlags is a list | Robin Gloster | 1 | -1/+1 |
2019-11-08 | coqPackages.coq-ext-lib: 0.10.1 -> 0.10.3 | Valentin Robert | 1 | -3/+3 |
2019-08-26 | treewide: remove redundant quotes | volth | 1 | -1/+1 |
2019-03-15 | coqPackages.coq-ext-lib: 0.10.0 -> 0.10.1 | Vincent Laporte | 1 | -1/+1 |
2018-12-10 | coqPackages_8_9.coq-ext-lib: init at 0.10.0 | Vincent Laporte | 1 | -0/+1 |
2018-10-19 | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 1 | -1/+1 |
2018-08-08 | coqPackages.coq-ext-lib: 0.9.5 -> {0.9.7,0.9.8} | Vincent Laporte | 1 | -1/+2 |
2018-03-21 | coq: init at 8.8+beta1 | Vincent Laporte | 1 | -2/+6 |
2017-12-02 | coqPackages_8_4.coqExtLib: remove | Vincent Laporte | 1 | -1/+0 |
2017-10-22 | coqPackages_8_7: New expression, but don't make it the default yet | John Wiegley | 1 | -0/+1 |
2017-01-14 | coqPackages.coq-ext-lib: 0.9.3 -> 0.9.{4,5} | Vincent Laporte | 1 | -1/+2 |
2016-04-12 | coq-ext-lib: 0.9.0-beta3 -> 0.9.3 | Vincent Laporte | 1 | -3/+4 |
2015-11-21 | coq-ext-lib: 1.0.0-beta2 -> 0.9.0-beta3 | Vincent Laporte | 1 | -1/+1 |
2015-09-27 | coq-ext-lib: c2c71a2a -> 0.9.0 & 1.0.0-beta2 | Vincent Laporte | 1 | -7/+14 |
2014-10-13 | coqPackages.ssreflect, more: build ssrcoq binary, add maintainer | John Wiegley | 1 | -1/+3 |
2014-10-11 | coqPackages.domains: new expression | John Wiegley | 1 | -1/+1 |
2014-10-11 | coqPackages.[coq-ext-lib,heq,paco,ynot]: new expressions | John Wiegley | 1 | -0/+26 |