4 commits

Author	SHA1	Message	Date
Vincent Laporte	c888d97013	ocamlPackages.cil: fix build on Darwin	2018-02-21 17:48:49 +00:00
Vincent Laporte	4168706d4f	OCaml modules: make explicit some dependencies to ocamlbuild	2016-10-09 11:55:19 +02:00
Nicolas B. Pierron	72c6f8a140	Ensure that we can evaluate the platform attribute of ocaml packages.	2016-03-13 19:08:26 +00:00
Vincent Laporte	9f82cc2684	ocaml-cil: update from 1.3.2 to 1.7.3	2014-11-22 22:51:04 +00:00