FIX Update pins
2 files changed, 5 insertions(+), 1 deletions(-)

M hll.conf
M hll.pins
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"