this repo has no description
4 packages from Psi-Prod/Mehari at 0.4
+169
+40
packages/mehari-eio/mehari-eio.0.4/opam
+40
packages/mehari-eio/mehari-eio.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Mehari IO implementation using Eio"
4
+
maintainer: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"]
5
+
authors: ["The mehari programmers"]
6
+
license: "LGPL-3.0-or-later"
7
+
homepage: "https://github.com/Psi-Prod/Mehari"
8
+
bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
9
+
depends: [
10
+
"dune" {>= "3.0"}
11
+
"ocaml" {>= "5.0.0"}
12
+
"mehari" {= version}
13
+
"eio" {>= "1.0"}
14
+
"logs" {>= "0.7.0"}
15
+
"tls" {>= "0.15.4"}
16
+
"tls-eio" {>= "0.15.5"}
17
+
"odoc" {with-doc}
18
+
]
19
+
build: [
20
+
["dune" "subst"] {dev}
21
+
[
22
+
"dune"
23
+
"build"
24
+
"-p"
25
+
name
26
+
"-j"
27
+
jobs
28
+
"@install"
29
+
"@runtest" {with-test}
30
+
"@doc" {with-doc}
31
+
]
32
+
]
33
+
dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
34
+
url {
35
+
src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz"
36
+
checksum: [
37
+
"md5=930121ceef2893e48cbc91c6dba1349d"
38
+
"sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6"
39
+
]
40
+
}
+41
packages/mehari-lwt-unix/mehari-lwt-unix.0.4/opam
+41
packages/mehari-lwt-unix/mehari-lwt-unix.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Mehari IO implementation using Lwt and Unix bindings"
4
+
maintainer: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"]
5
+
authors: ["The mehari programmers"]
6
+
license: "LGPL-3.0-or-later"
7
+
homepage: "https://github.com/Psi-Prod/Mehari"
8
+
bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
9
+
depends: [
10
+
"dune" {>= "3.0"}
11
+
"mehari" {= version}
12
+
"mehari-mirage" {= version}
13
+
"lwt" {>= "5.6.1"}
14
+
"mirage-clock-unix" {>= "4.2.0"}
15
+
"mirage-flow-unix" {>= "3.0.0"}
16
+
"mirage-time-unix" {>= "3.0.0"}
17
+
"tcpip" {>= "7.1.2"}
18
+
"odoc" {with-doc}
19
+
]
20
+
build: [
21
+
["dune" "subst"] {dev}
22
+
[
23
+
"dune"
24
+
"build"
25
+
"-p"
26
+
name
27
+
"-j"
28
+
jobs
29
+
"@install"
30
+
"@runtest" {with-test}
31
+
"@doc" {with-doc}
32
+
]
33
+
]
34
+
dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
35
+
url {
36
+
src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz"
37
+
checksum: [
38
+
"md5=930121ceef2893e48cbc91c6dba1349d"
39
+
"sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6"
40
+
]
41
+
}
+42
packages/mehari-mirage/mehari-mirage.0.4/opam
+42
packages/mehari-mirage/mehari-mirage.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "Mehari IO implementation for MirageOS"
4
+
maintainer: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"]
5
+
authors: ["The mehari programmers"]
6
+
license: "LGPL-3.0-or-later"
7
+
homepage: "https://github.com/Psi-Prod/Mehari"
8
+
bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
9
+
depends: [
10
+
"dune" {>= "3.0"}
11
+
"mehari" {= version}
12
+
"ipaddr" {>= "5.3.1"}
13
+
"lwt" {>= "5.6.1"}
14
+
"mirage-channel" {>= "4.1.0"}
15
+
"mirage-time" {>= "3.0.0"}
16
+
"tcpip" {>= "7.1.2"}
17
+
"tls-mirage" {>= "0.15.4"}
18
+
"tls-lwt" {>= "0.16.0"}
19
+
"odoc" {with-doc}
20
+
]
21
+
build: [
22
+
["dune" "subst"] {dev}
23
+
[
24
+
"dune"
25
+
"build"
26
+
"-p"
27
+
name
28
+
"-j"
29
+
jobs
30
+
"@install"
31
+
"@runtest" {with-test}
32
+
"@doc" {with-doc}
33
+
]
34
+
]
35
+
dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
36
+
url {
37
+
src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.4.tar.gz"
38
+
checksum: [
39
+
"md5=930121ceef2893e48cbc91c6dba1349d"
40
+
"sha512=34bf178aa333b2cfe0cbf4586a342848507d06d71f28e5cc26b798ea192cf1c4e5cdf8b32e3395c14fba5f9fbddcf535e264874b9f4bda386c8e0042c4bd60f6"
41
+
]
42
+
}
+46
packages/mehari/mehari.0.4/opam
+46
packages/mehari/mehari.0.4/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "A cross-platform library for building Gemini servers"
4
+
description: """
5
+
Mehari is a cross-platform library for building Gemini servers.
6
+
It fully implements the Gemini protocol specification.
7
+
It takes heavy inspiration from Dream, a tidy, feature-complete Web framework."""
8
+
maintainer: ["tim.arnouts@protonmail.com" "lelolartichaut@laposte.net"]
9
+
authors: ["The mehari programmers"]
10
+
license: "LGPL-3.0-or-later"
11
+
homepage: "https://github.com/Psi-Prod/Mehari"
12
+
bug-reports: "https://github.com/Psi-Prod/Mehari/issues"
13
+
depends: [
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"}
21
+
"uri" {>= "4.2.0"}
22
+
"x509" {>= "0.16.2"}
23
+
"odoc" {with-doc}
24
+
]
25
+
build: [
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
+
]
39
+
dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
40
+
url {
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
+
}