summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/cil
Commit message (Expand)AuthorAge
* ocamlPackages.cil: disable for OCaml ≥ 4.06Vincent Laporte2018-08-29
* ocamlPackages.cil: fix build on DarwinVincent Laporte2018-02-21
* OCaml modules: make explicit some dependencies to ocamlbuildVincent Laporte2016-10-09
* Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron2016-03-13
* ocaml-cil: update from 1.3.2 to 1.7.3Vincent Laporte2014-11-22