Commit message (Expand) | Author | Age | |
---|---|---|---|
* | Ensure that we can evaluate the platform attribute of ocaml packages. | Nicolas B. Pierron | 2016-03-13 |
* | lablgtk-2.14: fix build with OCaml-4.02 (needs camlp4) | Vincent Laporte | 2015-06-25 |
* | Adds some “branch” meta-data | Vincent Laporte | 2014-11-06 |
* | lablgtk: update from 2.18.2 to 2.18.3 | Vincent Laporte | 2014-11-04 |
* | lablgtk: update 2.16.0 -> 2.18.2 | Vincent Laporte | 2014-10-08 |
* | Adds camlp4 | Vincent Laporte | 2014-09-23 |
* | mkOcamlPackages: simpler rule for lablgtk | Vincent Laporte | 2014-09-20 |
* | Fixes coq-8.3: requires OCaml 3.12 | Vincent Laporte | 2014-09-17 |
* | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 |
* | lablgtk: remove old patch | Austin Seipp | 2014-05-01 |
* | upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1 | Christophe Raffalli | 2013-06-07 |
* | Matita and its dependencies. | Russell O'Connor | 2010-12-31 |