| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | coqPackages.flocq: 3.1.0 -> 3.2.0 | Vincent Laporte | 2019-08-05 |
| * | coqPackages.flocq: 3.0.0 -> 3.1.0 | Vincent Laporte | 2019-02-15 |
| * | coqPackages.flocq: 2.6.0 -> {2.6.1, 3.0.0} | Vincent Laporte | 2019-01-23 |
| * | 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 |