3 commits

Author	SHA1	Message	Date
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