this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "RPM package metadata reader"
4maintainer: ["Mikhail Lopatin <dx3mod@bk.ru>"]
5authors: ["Mikhail Lopatin <dx3mod@bk.ru>"]
6license: "MIT"
7tags: ["rpm" "parser" "rpmfile"]
8homepage: "https://github.com/dx3mod/rpmfile"
9bug-reports: "https://github.com/dx3mod/rpmfile/issues"
10depends: [
11 "ocaml" {>= "4.14"}
12 "dune" {>= "3.16"}
13 "odoc" {with-doc}
14]
15build: [
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]
29dev-repo: "git+https://github.com/dx3mod/rpmfile.git"
30url {
31 src: "https://github.com/dx3mod/rpmfile/archive/refs/tags/0.5.tar.gz"
32 checksum: [
33 "md5=4175664de64bf013df018dcca94078ae"
34 "sha512=4bd49790d52bbdf56d2684a5be4d1df3276a73e387b079354fcdc2276550a372137d2b1a9d5b41902fa470630416257d7e6d3c1359768e5121a0b8bc501945c7"
35 ]
36}