| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | 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 |