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 (powered by Angstrom)"
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 "rpmfile" {>= "0.3.0"}
14 "angstrom" {>= "0.15"}
15 "angstrom-unix" {>= "0.15"}
16 "alcotest" {with-test}
17 "odoc" {with-doc}
18]
19build: [
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]
33dev-repo: "git+https://github.com/dx3mod/rpmfile.git"
34url {
35 src: "https://github.com/dx3mod/rpmfile/archive/refs/tags/0.3.tar.gz"
36 checksum: [
37 "md5=3cb6a60280cc72dcaed5aa8172c0c89e"
38 "sha512=8a8c86f4c23e47098108cc70bb3c2c6aa05fa6560221426ab7ea6e6f3722a9fe851085b5bd53cf829707bc1898f4f1929ae0cd33735c4bc3102ded49302ee98d"
39 ]
40}