| Commit message (Expand) | Author | Age | |
|---|---|---|---|
| * | Turn more licenses into lib.licenses style | Mateusz Kowalczyk | 2014-11-06 |
| * | Fixes ocamlgraph (depends on camlp4) and prooftree (not ready for | Vincent Laporte | 2014-09-23 |
| * | ocamlgraph: upgrade to 1.8.5 | Austin Seipp | 2014-05-01 |
| * | More description fixes | Bjørn Forsman | 2013-10-06 |
| * | ocamlgraph: update to 1.8.2 | Arie Middelkoop | 2012-07-31 |
| * | Add OPA to Nixpkgs. | Karn Kallio | 2011-11-27 |