Age | Commit message (Expand) | Author | Files | Lines |
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 |