Skip to content

Commit c78850c

Browse files
ArtichOwOArtichOwO
committed
4 packages from Psi-Prod/Mehari at 0.2
1 parent be27662 commit c78850c

File tree

4 files changed

+173
-0
lines changed
  • packages
    • mehari-eio/mehari-eio.0.2
    • mehari-lwt-unix/mehari-lwt-unix.0.2
    • mehari-mirage/mehari-mirage.0.2
    • mehari/mehari.0.2

4 files changed

+173
-0
lines changed

‎packages/mehari-eio/mehari-eio.0.2/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 using Eio"
4+
maintainer: ["[email protected]" "[email protected]"]
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+
"mirage-clock-unix" {>= "4.2.0"}
15+
"logs" {>= "0.7.0"}
16+
"tls" {>= "0.15.4"}
17+
"tls-eio" {>= "0.15.5"}
18+
"uri" {>= "4.2.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.2.tar.gz"
38+
checksum: [
39+
"md5=b4010d833253225b1cb7a5e9c4da37d9"
40+
"sha512=6b76d881280c820766d456dc79a9b060589fadb1d6394ec2db9eb4d3f663f6eddb677a08c765fe0341259966c4792a053081736cfde93f1a3ab45ca7ba2ab073"
41+
]
42+
}

‎packages/mehari-lwt-unix/mehari-lwt-unix.0.2/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 using Lwt and Unix bindings"
4+
maintainer: ["[email protected]" "[email protected]"]
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+
"lwt_ppx" {>= "2.1.0"}
15+
"mirage-clock-unix" {>= "4.2.0"}
16+
"mirage-flow-unix" {>= "3.0.0"}
17+
"mirage-time-unix" {>= "3.0.0"}
18+
"tcpip" {>= "7.1.2"}
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.2.tar.gz"
38+
checksum: [
39+
"md5=b4010d833253225b1cb7a5e9c4da37d9"
40+
"sha512=6b76d881280c820766d456dc79a9b060589fadb1d6394ec2db9eb4d3f663f6eddb677a08c765fe0341259966c4792a053081736cfde93f1a3ab45ca7ba2ab073"
41+
]
42+
}

‎packages/mehari-mirage/mehari-mirage.0.2/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: ["[email protected]" "[email protected]"]
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+
"lwt_ppx" {>= "2.1.0"}
15+
"mirage-channel" {>= "4.1.0"}
16+
"mirage-time" {>= "3.0.0"}
17+
"tcpip" {>= "7.1.2"}
18+
"tls-mirage" {>= "0.15.4"}
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.2.tar.gz"
38+
checksum: [
39+
"md5=b4010d833253225b1cb7a5e9c4da37d9"
40+
"sha512=6b76d881280c820766d456dc79a9b060589fadb1d6394ec2db9eb4d3f663f6eddb677a08c765fe0341259966c4792a053081736cfde93f1a3ab45ca7ba2ab073"
41+
]
42+
}

‎packages/mehari/mehari.0.2/opam‎

Lines changed: 47 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,47 @@
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: ["[email protected]" "[email protected]"]
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+
"mirage-clock" {>= "4.2.0"}
20+
"re" {>= "1.10.4"}
21+
"tls" {>= "0.16.0"}
22+
"uri" {>= "4.2.0"}
23+
"x509" {>= "0.16.2"}
24+
"odoc" {with-doc}
25+
]
26+
build: [
27+
["dune" "subst"] {dev}
28+
[
29+
"dune"
30+
"build"
31+
"-p"
32+
name
33+
"-j"
34+
jobs
35+
"@install"
36+
"@runtest" {with-test}
37+
"@doc" {with-doc}
38+
]
39+
]
40+
dev-repo: "git+https://github.com/Psi-Prod/Mehari.git"
41+
url {
42+
src: "https://github.com/Psi-Prod/Mehari/archive/refs/tags/0.2.tar.gz"
43+
checksum: [
44+
"md5=b4010d833253225b1cb7a5e9c4da37d9"
45+
"sha512=6b76d881280c820766d456dc79a9b060589fadb1d6394ec2db9eb4d3f663f6eddb677a08c765fe0341259966c4792a053081736cfde93f1a3ab45ca7ba2ab073"
46+
]
47+
}

0 commit comments

Comments
 (0)