Skip to content

Commit 4c2ac6c

Browse files
mserimseri
authored
Merge pull request #24110 from ArtichOwO/opam-publish-mehari.0.3
4 packages from Psi-Prod/Mehari at 0.3
2 parents 264057f + 7a6621a commit 4c2ac6c

File tree

4 files changed

+169
-0
lines changed
  • packages
    • mehari-eio/mehari-eio.0.3
    • mehari-lwt-unix/mehari-lwt-unix.0.3
    • mehari-mirage/mehari-mirage.0.3
    • mehari/mehari.0.3

4 files changed

+169
-0
lines changed

‎packages/mehari-eio/mehari-eio.0.3/opam

Lines changed: 40 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,40 @@
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" {>= "0.8"}
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.3.tar.gz"
36+
checksum: [
37+
"md5=bc6261e277d3d6141970027e9d1d3f26"
38+
"sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
39+
]
40+
}

‎packages/mehari-lwt-unix/mehari-lwt-unix.0.3/opam

Lines changed: 41 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,41 @@
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.3.tar.gz"
37+
checksum: [
38+
"md5=bc6261e277d3d6141970027e9d1d3f26"
39+
"sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
40+
]
41+
}

‎packages/mehari-mirage/mehari-mirage.0.3/opam

Lines changed: 42 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,42 @@
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.3.tar.gz"
38+
checksum: [
39+
"md5=bc6261e277d3d6141970027e9d1d3f26"
40+
"sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
41+
]
42+
}

‎packages/mehari/mehari.0.3/opam

Lines changed: 46 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,46 @@
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.2"}
17+
"logs" {>= "0.7.0"}
18+
"magic-mime" {>= "1.3.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.3.tar.gz"
42+
checksum: [
43+
"md5=bc6261e277d3d6141970027e9d1d3f26"
44+
"sha512=5ceb0c1e492effe67dc0e659f2837ec2f962feb9dd7f92562a9f594f1dd623e0483a006ae16371deb1368f993a5996623c2e9f56113c1f91fca526899cfc2eae"
45+
]
46+
}

0 commit comments

Comments
 (0)