Age | Commit message (Expand) | Author | Files | Lines |
---|---|---|---|---|
2015-06-25 | lablgtk-2.14: fix build with OCaml-4.02 (needs camlp4) | Vincent Laporte | 1 | -2/+2 |
2014-11-06 | Adds some “branch” meta-data | Vincent Laporte | 1 | -0/+1 |
2014-11-04 | lablgtk: update from 2.18.2 to 2.18.3 | Vincent Laporte | 1 | -3/+3 |
2014-10-08 | lablgtk: update 2.16.0 -> 2.18.2 | Vincent Laporte | 1 | -12/+11 |
2014-09-23 | Adds camlp4 | Vincent Laporte | 1 | -2/+2 |
2014-09-20 | mkOcamlPackages: simpler rule for lablgtk | Vincent Laporte | 1 | -0/+2 |
2014-09-17 | Fixes coq-8.3: requires OCaml 3.12 | Vincent Laporte | 1 | -0/+37 |
2014-07-28 | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 1 | -1/+1 |
2014-05-01 | lablgtk: remove old patch | Austin Seipp | 2 | -66/+0 |
2013-06-07 | upgraded lablgtk to version 2.16 to allow compilation with ocaml-4.00.1 | Christophe Raffalli | 1 | -6/+7 |
2010-12-31 | Matita and its dependencies. | Russell O'Connor | 2 | -0/+101 |