Move re dep to mehari.

Psi-Prod · Jan 8, 2023 · 11f81aa · 11f81aa
1 parent 2942836
commit 11f81aa
Show file tree

Hide file tree

Showing 3 changed files with 4 additions and 4 deletions.
diff --git 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
@@ -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
@@ -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: [