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.2"}
17 "logs" {>= "0.7.0"}
18 "magic-mime" {>= "1.3.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.3.tar.gz"
42 checksum: [
43 "md5=bc6261e277d3d6141970027e9d1d3f26"
44 "sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
45 ]
46}