| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | ocaml-http: update from 0.1.3 to 0.1.5 | Vincent Laporte | 2014-11-08 |
| * | ocaml-http: adds missing dependency to camlp4 | Vincent Laporte | 2014-10-10 |
| * | Turn some license strings into lib.licenses values | Mateusz Kowalczyk | 2014-07-28 |
| * | Matita and its dependencies. | Russell O'Connor | 2010-12-31 |