diff --git a/packages/mehari-eio/mehari-eio.0.3/opam b/packages/mehari-eio/mehari-eio.0.3/opam new file mode 100644 index 00000000000..ab2be605b27 --- /dev/null +++ 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: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"] +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 new file mode 100644 index 00000000000..44719f8f659 --- /dev/null +++ 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: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"] +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 new file mode 100644 index 00000000000..e9bf0fe63f5 --- /dev/null +++ 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: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"] +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 new file mode 100644 index 00000000000..4a8bd086583 --- /dev/null +++ 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: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"] +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" + ] +}