diff --git a/dune-project b/dune-project index f302781..dd2a077 100644 --- a/dune-project +++ b/dune-project @@ -42,7 +42,9 @@ (uri (>= 4.2.0)) (x509 - (>= 0.16.2)))) + (>= 0.16.2)) + (re + (>= 1.10.4)))) (package (name mehari-mirage) @@ -59,8 +61,6 @@ (>= 4.1.0)) (mirage-time (>= 3.0.0)) - (re - (>= 1.10.4)) (tcpip (>= 7.1.2)) (tls-mirage diff --git a/mehari-mirage.opam b/mehari-mirage.opam index dd8134e..22b9e85 100644 --- a/mehari-mirage.opam +++ b/mehari-mirage.opam @@ -15,7 +15,6 @@ depends: [ "lwt_ppx" {>= "2.1.0"} "mirage-channel" {>= "4.1.0"} "mirage-time" {>= "3.0.0"} - "re" {>= "1.10.4"} "tcpip" {>= "7.1.2"} "tls-mirage" {>= "0.15.4"} "odoc" {with-doc} diff --git a/mehari.opam b/mehari.opam index 10c1351..87fa490 100644 --- a/mehari.opam +++ b/mehari.opam @@ -22,6 +22,7 @@ depends: [ "tls" {>= "0.15.4"} "uri" {>= "4.2.0"} "x509" {>= "0.16.2"} + "re" {>= "1.10.4"} "odoc" {with-doc} ] build: [