| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | treewide: Per RFC45, remove all unquoted URLs | Michael Reilly | 2020-04-10 | 1 | -2/+2 |
| * | ocamlPackages.cil: disable for OCaml ≥ 4.06 | Vincent Laporte | 2018-08-29 | 1 | -0/+5 |
| * | ocamlPackages.cil: fix build on Darwin | Vincent Laporte | 2018-02-21 | 1 | -0/+1 |
| * | OCaml modules: make explicit some dependencies to ocamlbuild | Vincent Laporte | 2016-10-09 | 1 | -2/+2 |
| * | Ensure that we can evaluate the platform attribute of ocaml packages. | Nicolas B. Pierron | 2016-03-13 | 1 | -1/+1 |
| * | ocaml-cil: update from 1.3.2 to 1.7.3 | Vincent Laporte | 2014-11-22 | 1 | -0/+25 |
 |
index : kookienomicon | |
| My personal project and infrastructure archive | Katharina Fey |
| aboutsummaryrefslogtreecommitdiff |