this repo has no description
Merge pull request #26792 from dx3mod/opam-publish-rpmfile-eio.0.5.0
3 packages from dx3mod/rpmfile at 0.5.0
authored by
Shon Feder
and committed by
GitHub
6383bc54
f98fc858
+115
+40
packages/rpmfile-eio/rpmfile-eio.0.5.0/opam
+40
packages/rpmfile-eio/rpmfile-eio.0.5.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "RPM package metadata reader (powered by Eio)"
4
+
maintainer: ["Mikhail Lopatin <dx3mod@bk.ru>"]
5
+
authors: ["Mikhail Lopatin <dx3mod@bk.ru>"]
6
+
license: "MIT"
7
+
tags: ["rpm" "parser" "rpmfile"]
8
+
homepage: "https://github.com/dx3mod/rpmfile"
9
+
bug-reports: "https://github.com/dx3mod/rpmfile/issues"
10
+
depends: [
11
+
"ocaml" {> "5.1"}
12
+
"dune" {>= "3.16"}
13
+
"rpmfile" {>= "0.4.0"}
14
+
"eio" {>= "1.1"}
15
+
"alcotest" {with-test}
16
+
"eio_main" {with-test}
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/dx3mod/rpmfile.git"
34
+
url {
35
+
src: "https://github.com/dx3mod/rpmfile/archive/refs/tags/0.5.tar.gz"
36
+
checksum: [
37
+
"md5=4175664de64bf013df018dcca94078ae"
38
+
"sha512=4bd49790d52bbdf56d2684a5be4d1df3276a73e387b079354fcdc2276550a372137d2b1a9d5b41902fa470630416257d7e6d3c1359768e5121a0b8bc501945c7"
39
+
]
40
+
}
+39
packages/rpmfile-unix/rpmfile-unix.0.5.0/opam
+39
packages/rpmfile-unix/rpmfile-unix.0.5.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "RPM package metadata reader (powered by Angstrom)"
4
+
maintainer: ["Mikhail Lopatin <dx3mod@bk.ru>"]
5
+
authors: ["Mikhail Lopatin <dx3mod@bk.ru>"]
6
+
license: "MIT"
7
+
tags: ["rpm" "parser" "rpmfile"]
8
+
homepage: "https://github.com/dx3mod/rpmfile"
9
+
bug-reports: "https://github.com/dx3mod/rpmfile/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14"}
12
+
"dune" {>= "3.16"}
13
+
"rpmfile" {>= "0.3.0"}
14
+
"angstrom" {>= "0.15"}
15
+
"alcotest" {with-test}
16
+
"odoc" {with-doc}
17
+
]
18
+
build: [
19
+
["dune" "subst"] {dev}
20
+
[
21
+
"dune"
22
+
"build"
23
+
"-p"
24
+
name
25
+
"-j"
26
+
jobs
27
+
"@install"
28
+
"@runtest" {with-test}
29
+
"@doc" {with-doc}
30
+
]
31
+
]
32
+
dev-repo: "git+https://github.com/dx3mod/rpmfile.git"
33
+
url {
34
+
src: "https://github.com/dx3mod/rpmfile/archive/refs/tags/0.5.tar.gz"
35
+
checksum: [
36
+
"md5=4175664de64bf013df018dcca94078ae"
37
+
"sha512=4bd49790d52bbdf56d2684a5be4d1df3276a73e387b079354fcdc2276550a372137d2b1a9d5b41902fa470630416257d7e6d3c1359768e5121a0b8bc501945c7"
38
+
]
39
+
}
+36
packages/rpmfile/rpmfile.0.5.0/opam
+36
packages/rpmfile/rpmfile.0.5.0/opam
···
1
+
# This file is generated by dune, edit dune-project instead
2
+
opam-version: "2.0"
3
+
synopsis: "RPM package metadata reader"
4
+
maintainer: ["Mikhail Lopatin <dx3mod@bk.ru>"]
5
+
authors: ["Mikhail Lopatin <dx3mod@bk.ru>"]
6
+
license: "MIT"
7
+
tags: ["rpm" "parser" "rpmfile"]
8
+
homepage: "https://github.com/dx3mod/rpmfile"
9
+
bug-reports: "https://github.com/dx3mod/rpmfile/issues"
10
+
depends: [
11
+
"ocaml" {>= "4.14"}
12
+
"dune" {>= "3.16"}
13
+
"odoc" {with-doc}
14
+
]
15
+
build: [
16
+
["dune" "subst"] {dev}
17
+
[
18
+
"dune"
19
+
"build"
20
+
"-p"
21
+
name
22
+
"-j"
23
+
jobs
24
+
"@install"
25
+
"@runtest" {with-test}
26
+
"@doc" {with-doc}
27
+
]
28
+
]
29
+
dev-repo: "git+https://github.com/dx3mod/rpmfile.git"
30
+
url {
31
+
src: "https://github.com/dx3mod/rpmfile/archive/refs/tags/0.5.tar.gz"
32
+
checksum: [
33
+
"md5=4175664de64bf013df018dcca94078ae"
34
+
"sha512=4bd49790d52bbdf56d2684a5be4d1df3276a73e387b079354fcdc2276550a372137d2b1a9d5b41902fa470630416257d7e6d3c1359768e5121a0b8bc501945c7"
35
+
]
36
+
}