Merge pull request #24110 from ArtichOwO/opam-publish-mehari.0.3

4 packages from Psi-Prod/Mehari at 0.3
ocaml · Jul 17, 2023 · 4c2ac6c · 4c2ac6c
2 parents 264057f + 7a6621a
commit 4c2ac6c
Show file tree

Hide file tree

Showing 4 changed files with 169 additions and 0 deletions.
diff --git a/packages/mehari-eio/mehari-eio.0.3/opam b/packages/mehari-eio/mehari-eio.0.3/opam
@@ -0,0 +1,40 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Mehari IO implementation using Eio"
+maintainer: ["[email protected]" "[email protected]"]
+authors: ["The mehari programmers"]
+license: "LGPL-3.0-or-later"
+homepage: "https://github.com/Psi-Prod/Mehari"
+bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "ocaml" {>= "5.0.0"}
+  "mehari" {= version}
+  "eio" {>= "0.8"}
+  "logs" {>= "0.7.0"}
+  "tls" {>= "0.15.4"}
+  "tls-eio" {>= "0.15.5"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
+url {
+  src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.3.tar.gz"
+  checksum: [
+    "md5=bc6261e277d3d6141970027e9d1d3f26"
+    "sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
+  ]
+}
diff --git a/packages/mehari-lwt-unix/mehari-lwt-unix.0.3/opam b/packages/mehari-lwt-unix/mehari-lwt-unix.0.3/opam
@@ -0,0 +1,41 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Mehari IO implementation using Lwt and Unix bindings"
+maintainer: ["[email protected]" "[email protected]"]
+authors: ["The mehari programmers"]
+license: "LGPL-3.0-or-later"
+homepage: "https://github.com/Psi-Prod/Mehari"
+bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "mehari" {= version}
+  "mehari-mirage" {= version}
+  "lwt" {>= "5.6.1"}
+  "mirage-clock-unix" {>= "4.2.0"}
+  "mirage-flow-unix" {>= "3.0.0"}
+  "mirage-time-unix" {>= "3.0.0"}
+  "tcpip" {>= "7.1.2"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
+url {
+  src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.3.tar.gz"
+  checksum: [
+    "md5=bc6261e277d3d6141970027e9d1d3f26"
+    "sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
+  ]
+}
diff --git a/packages/mehari-mirage/mehari-mirage.0.3/opam b/packages/mehari-mirage/mehari-mirage.0.3/opam
@@ -0,0 +1,42 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "Mehari IO implementation for MirageOS"
+maintainer: ["[email protected]" "[email protected]"]
+authors: ["The mehari programmers"]
+license: "LGPL-3.0-or-later"
+homepage: "https://github.com/Psi-Prod/Mehari"
+bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "mehari" {= version}
+  "ipaddr" {>= "5.3.1"}
+  "lwt" {>= "5.6.1"}
+  "mirage-channel" {>= "4.1.0"}
+  "mirage-time" {>= "3.0.0"}
+  "tcpip" {>= "7.1.2"}
+  "tls-mirage" {>= "0.15.4"}
+  "tls-lwt" {>= "0.16.0"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
+url {
+  src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.3.tar.gz"
+  checksum: [
+    "md5=bc6261e277d3d6141970027e9d1d3f26"
+    "sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
+  ]
+}
diff --git a/packages/mehari/mehari.0.3/opam b/packages/mehari/mehari.0.3/opam
@@ -0,0 +1,46 @@
+# This file is generated by dune, edit dune-project instead
+opam-version: "2.0"
+synopsis: "A cross-platform library for building Gemini servers"
+description: """
+Mehari is a cross-platform library for building Gemini servers.
+It fully implements the Gemini protocol specification.
+It takes heavy inspiration from Dream, a tidy, feature-complete Web framework."""
+maintainer: ["[email protected]" "[email protected]"]
+authors: ["The mehari programmers"]
+license: "LGPL-3.0-or-later"
+homepage: "https://github.com/Psi-Prod/Mehari"
+bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
+depends: [
+  "dune" {>= "3.0"}
+  "ocaml" {>= "4.14"}
+  "conan" {>= "0.0.2"}
+  "logs" {>= "0.7.0"}
+  "magic-mime" {>= "1.3.0"}
+  "re" {>= "1.10.4"}
+  "tls" {>= "0.16.0"}
+  "uri" {>= "4.2.0"}
+  "x509" {>= "0.16.2"}
+  "odoc" {with-doc}
+]
+build: [
+  ["dune" "subst"] {dev}
+  [
+    "dune"
+    "build"
+    "-p"
+    name
+    "-j"
+    jobs
+    "@install"
+    "@runtest" {with-test}
+    "@doc" {with-doc}
+  ]
+]
+dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
+url {
+  src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.3.tar.gz"
+  checksum: [
+    "md5=bc6261e277d3d6141970027e9d1d3f26"
+    "sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
+  ]
+}