Correct package name.

Psi-Prod · Jan 8, 2023 · 09660a0 · 09660a0
1 parent 264f3e8
commit 09660a0
Show file tree

Hide file tree

Showing 6 changed files with 9 additions and 9 deletions.
diff --git a/dune-project b/dune-project
@@ -45,7 +45,7 @@
    (>= 0.16.2))))
 
 (package
- (name mehari_mirage)
+ (name mehari.mirage)
  (synopsis "Mehari IO implementation for MirageOS")
  (depends
   mehari
@@ -67,11 +67,11 @@
    (>= 0.15.4))))
 
 (package
- (name mehari_lwt_unix)
+ (name mehari.lwt_unix)
  (synopsis "Mehari IO implementation using Lwt and Unix bindings")
  (depends
   mehari
-  mehari_mirage
+  mehari.mirage
   (lwt
    (>= 5.6.1))
   (lwt_ppx
@@ -86,7 +86,7 @@
    (>= 7.1.2))))
 
 (package
- (name mehari_eio)
+ (name mehari.eio)
  (synopsis "Mehari IO implementation using Eio")
  (depends
   (ocaml
@@ -106,12 +106,12 @@
    (>= 4.2.0))))
 
 (package
- (name mehari_eio_unix)
+ (name mehari.eio_unix)
  (synopsis "Mehari IO implementation using Eio and Unix bindings")
  (depends
   (ocaml
    (>= 5.0.0))
   mehari
-  mehari_eio
+  mehari.eio
   (eio
    (>= 0.7))))
diff --git a/mehari-eio-unix/dune b/mehari-eio-unix/dune
@@ -1,4 +1,4 @@
 (library
  (name mehari_eio_unix)
  (public_name mehari.eio_unix)
- (libraries eio mehari mehari_eio))
+ (libraries eio mehari mehari.eio))
diff --git a/mehari_eio.opam → mehari.eio.opam b/mehari_eio.opam → mehari.eio.opam
diff --git a/mehari_eio_unix.opam → mehari.eio_unix.opam b/mehari_eio_unix.opam → mehari.eio_unix.opam
@@ -11,7 +11,7 @@ depends: [
   "dune" {>= "2.9"}
   "ocaml" {>= "5.0.0"}
   "mehari"
-  "mehari_eio"
+  "mehari.eio"
   "eio" {>= "0.7"}
   "odoc" {with-doc}
 ]

diff --git a/mehari_lwt_unix.opam → mehari.lwt_unix.opam b/mehari_lwt_unix.opam → mehari.lwt_unix.opam
@@ -10,7 +10,7 @@ bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
 depends: [
   "dune" {>= "2.9"}
   "mehari"
-  "mehari_mirage"
+  "mehari.mirage"
   "lwt" {>= "5.6.1"}
   "lwt_ppx" {>= "2.1.0"}
   "mirage-clock-unix" {>= "4.2.0"}

diff --git a/mehari_mirage.opam → mehari.mirage.opam b/mehari_mirage.opam → mehari.mirage.opam