diff --git a/dune-project b/dune-project index 06c9463c2..3844a24ab 100644 --- a/dune-project +++ b/dune-project @@ -59,7 +59,7 @@ (bos (>= 0.2.1)) (cmdliner - (>= 2.1.0)) + (>= 1.3.0)) (digestif (>= 1.2.0)) (domainpc @@ -75,7 +75,7 @@ (sedlex (>= 3.3)) (smtml - (>= 0.22.0)) + (>= 0.24.0)) (symex (>= 0.2)) (synchronizer @@ -84,6 +84,8 @@ (>= 1.0.3)) (xmlm (>= 1.4.0)) + (ocamlgraph + (>= 2.2.0)) ;; doc (odoc (and diff --git a/owi.opam b/owi.opam index acd4f9447..504fb3d32 100644 --- a/owi.opam +++ b/owi.opam @@ -31,7 +31,7 @@ depends: [ "dune-site" {build} "conf-clang" "bos" {>= "0.2.1"} - "cmdliner" {>= "2.1.0"} + "cmdliner" {>= "1.3.0"} "digestif" {>= "1.2.0"} "domainpc" {>= "0.2"} "logs" {>= "0.10.0"} @@ -39,11 +39,12 @@ depends: [ "prelude" {>= "0.5"} "processor" {>= "0.2"} "sedlex" {>= "3.3"} - "smtml" {>= "0.22.0"} + "smtml" {>= "0.24.0"} "symex" {>= "0.2"} "synchronizer" {>= "0.3"} "uutf" {>= "1.0.3"} "xmlm" {>= "1.4.0"} + "ocamlgraph" {>= "2.2.0"} "odoc" {>= "3.0.0" & with-doc} "mdx" {with-test & >= "2.1"} "frama-c" {>= "29.0" & < "32.0" & with-test}