6 commits

Author	SHA1	Message	Date
Michael Reilly	84cf00f980	treewide: Per RFC45, remove all unquoted URLs	2020-04-10 17:54:53 +01:00
Vincent Laporte	8a62ad06c2	ocamlPackages.cil: disable for OCaml ≥ 4.06	2018-08-29 12:49:44 +00:00
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