]> matita.cs.unibo.it Git - helm.git/blobdiff - matita/dune-project
Added dependency on ocaml-http
[helm.git] / matita / dune-project
index ae8136f4235cceeac5a14169c769e674880a2d0c..a41b4732d007fb2eab752aea1396facde2a68fe4 100644 (file)
@@ -33,6 +33,7 @@
    (ulex-camlp5 (>= 1.3))
    (ocaml-expat (>= 1.1.0))
    (pcre (>= 7.5.0))
+   (ocaml-http (>= 0.1.6))
    (lablgtk3-sourceview3 (>= 3.1.3))
    dune-build-info
    dune-site