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