this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "CLI utility for reading RPM package information (like rpm -qi)"
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" {> "5.1"}
12 "dune" {>= "3.16"}
13 "eio_main" {>= "1.1"}
14 "rpmfile-eio" {= "0.3.1"}
15 "odoc" {with-doc}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://github.com/dx3mod/rpmfile.git"
32url {
33 src: "https://github.com/dx3mod/rpmfile/archive/refs/tags/0.3.1.tar.gz"
34 checksum: [
35 "md5=355d4f9633290f3e5ceb1e9bb099dce9"
36 "sha512=5d39fa3febac8d5833d00dc373a510c552c5e6c1149f468d713302d2f828d9427f82851262eaebd63fae16866ab3c1b7f563a4f77b93a26f59f6d9d6cb3a1a8a"
37 ]
38}