about summary refs log tree commit diff
path: root/pkgs/development/ocaml-modules/cil
AgeCommit message (Expand)AuthorFilesLines
2020-04-10treewide: Per RFC45, remove all unquoted URLsMichael Reilly1-2/+2
2018-08-29ocamlPackages.cil: disable for OCaml ≥ 4.06Vincent Laporte1-0/+5
2018-02-21ocamlPackages.cil: fix build on DarwinVincent Laporte1-0/+1
2016-10-09OCaml modules: make explicit some dependencies to ocamlbuildVincent Laporte1-2/+2
2016-03-13Ensure that we can evaluate the platform attribute of ocaml packages.Nicolas B. Pierron1-1/+1
2014-11-22ocaml-cil: update from 1.3.2 to 1.7.3Vincent Laporte1-0/+25