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 |
|