Commit message (Expand) | Author | Age | |
---|---|---|---|
* | treewide: use ocaml.version (#19192) | Kirill Boltaev | 2016-10-05 |
* | camlp5: 6.14 -> 6.16 | Vincent Laporte | 2016-05-01 |
* | Ensure that we can evaluate the platform attribute of ocaml packages. | Nicolas B. Pierron | 2016-03-13 |
* | camlp5: 6.12 -> 6.14 | Vincent Laporte | 2015-09-23 |
* | Adds some “branch” meta-data | Vincent Laporte | 2014-11-06 |
* | Updates camlp5 6.11 -> 6.12 | Vincent Laporte | 2014-10-01 |
* | Updates ocaml-sexplib and ocaml-typeconv | Vincent Laporte | 2014-09-19 |
* | Update camlp5 to version 6.11 | Marco Maggesi | 2014-01-18 |
* | Update camlp5 to 6.06. | Marco Maggesi | 2012-10-09 |
* | Upgrade camlp5 to version 6.02.3-1 (contributed by Russell O'Connor). | Marco Maggesi | 2011-11-26 |
* | * Update camlp5 | Marco Maggesi | 2010-12-20 |
* | Updated Coq to version 8.2pl1 | Marco Maggesi | 2009-11-02 |
* | Added camlp5 the preprocessor-pretty-printer for OCaml | Marco Maggesi | 2009-11-02 |