diff --git a/packages/mehari-miou/mehari-miou.0.5/opam b/packages/mehari-miou/mehari-miou.0.5/opam new file mode 100644 index 000000000000..9f737a49ef69 --- /dev/null +++ b/packages/mehari-miou/mehari-miou.0.5/opam @@ -0,0 +1,38 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Mehari server implementation using Miou" +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.21"} + "mehari" {= version} + "tls-miou-unix" {>= "2.1.2"} + "alcotest" {with-test} + "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" +x-maintenance-intent: ["(latest)"] +url { + src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz" + checksum: [ + "md5=930121ceef2893e48cbc91c6dba1349d" + "sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6" + ] +} diff --git a/packages/mehari-mirage/mehari-mirage.0.5/opam b/packages/mehari-mirage/mehari-mirage.0.5/opam new file mode 100644 index 000000000000..cfb310c2e71b --- /dev/null +++ b/packages/mehari-mirage/mehari-mirage.0.5/opam @@ -0,0 +1,39 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "Mehari server implementation for Mirage" +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.21"} + "mehari" {= version} + "mkernel" {>= "0.0.3"} + "mnet" {>= "0.0.4"} + "mnet-tls" {>= "0.0.4"} + "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" +x-maintenance-intent: ["(latest)"] +url { + src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz" + checksum: [ + "md5=930121ceef2893e48cbc91c6dba1349d" + "sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6" + ] +} diff --git a/packages/mehari/mehari.0.5/opam b/packages/mehari/mehari.0.5/opam new file mode 100644 index 000000000000..24676110a251 --- /dev/null +++ b/packages/mehari/mehari.0.5/opam @@ -0,0 +1,54 @@ +# This file is generated by dune, edit dune-project instead +opam-version: "2.0" +synopsis: "A library for building Gemini servers" +description: """ +Mehari is a 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.21"} + "ocaml" {>= "5.4"} + "conan" {>= "0.0.7"} + "conan-database" {>= "0.0.7"} + "ipaddr" {>= "5.6.2"} + "logs" {>= "0.10.0"} + "flux" {>= "0.0.1~beta7"} + "mirage-ptime" {>= "5.2.0"} + "tls" {>= "2.1.2"} + "uri" {>= "4.4.0"} + "alcotest" {with-test} + "utop" {with-dev-setup} + "ocamlformat" {with-dev-setup} + "ocp-indent" {with-dev-setup} + "merlin" {with-dev-setup} + "ocaml-lsp-server" {with-dev-setup} + "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" +x-maintenance-intent: ["(latest)"] +url { + src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz" + checksum: [ + "md5=930121ceef2893e48cbc91c6dba1349d" + "sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6" + ] +}