Commit message (Expand) | Author | Age | |
---|---|---|---|
* | coqPackages: use coq.ocamlPackages instead of coq.ocaml, coq.camlp5, etc. | Théo Zimmermann | 2018-10-19 |
* | coqPackages.flocq: 2.5.2 -> 2.6.0 | Vincent Laporte | 2017-10-18 |
* | coqPackages.flocq: 2.5.1 -> 2.5.2 | Vincent Laporte | 2017-01-14 |
* | coq-flocq: 2.5.0 -> 2.5.1 | Vincent Laporte | 2016-01-04 |
* | Revert "coqPackages.flocq: 2.4.0 -> 2.5.0" | Vincent Laporte | 2016-01-04 |
* | coqPackages.flocq: 2.4.0 -> 2.5.0 | John Wiegley | 2015-12-16 |
* | coq-flocq: 2.4.0 -> 2.5.0; coq-interval: 2.0.0 -> 2.1.0 | Vincent Laporte | 2015-12-03 |
* | meta.description fixups | Joachim Fasting | 2015-04-30 |
* | coq-flocq: license | Vincent Laporte | 2014-12-07 |
* | coqPackages.flocq: new expression | John Wiegley | 2014-10-21 |