M hll.conf +1 -0
@@ 11,3 11,4 @@ url_template = "http://acsl-pkgs.s3.amaz
url_pattern = "{tag}"
url_protocol = "http"
+build_deps = [ "ocaml" ]
M hll.pins +4 -1
@@ 1,2 1,5 @@
-ocaml > "4.02"
+ocaml >= "4.12.0"
toml >= "6"
+cmdliner >= "1.3.0"
+containers >= "3.12.0"
+process >= "0.2.1"