Commit Graph

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