this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "A cross-platform library for building Gemini servers"
4description: """
5Mehari is a cross-platform library for building Gemini servers.
6It fully implements the Gemini protocol specification.
7It takes heavy inspiration from Dream, a tidy, feature-complete Web framework."""
8maintainer: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"]
9authors: ["The mehari programmers"]
10license: "LGPL-3.0-or-later"
11homepage: "https://github.com/Psi-Prod/Mehari"
12bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
13depends: [
14 "dune" {>= "3.0"}
15 "ocaml" {>= "4.14"}
16 "conan" {>= "0.0.5"}
17 "conan-database" {>= "0.0.5"}
18 "logs" {>= "0.7.0"}
19 "re" {>= "1.10.4"}
20 "tls" {>= "0.16.0" & < "1.0.0"}
21 "uri" {>= "4.2.0"}
22 "x509" {>= "0.16.2"}
23 "odoc" {with-doc}
24]
25build: [
26 ["dune" "subst"] {dev}
27 [
28 "dune"
29 "build"
30 "-p"
31 name
32 "-j"
33 jobs
34 "@install"
35 "@runtest" {with-test}
36 "@doc" {with-doc}
37 ]
38]
39dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
40url {
41 src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz"
42 checksum: [
43 "md5=930121ceef2893e48cbc91c6dba1349d"
44 "sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6"
45 ]
46}