this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "Gwenaelle@tarides.com"
3authors: ["Gwenaëlle Lecat" "Nicolas Goguey"]
4license: "ISC"
5homepage: "https://github.com/mirage/irmin"
6bug-reports: "https://github.com/mirage/irmin/issues"
7dev-repo: "git+https://github.com/mirage/irmin.git"
8doc: "https://mirage.github.io/irmin/"
9
10build: [
11 ["dune" "subst"] {dev}
12 ["dune" "build" "-p" name "-j" jobs]
13 ["dune" "runtest" "-p" name "-j" jobs] {with-test}
14]
15
16available: arch != "arm32" & arch != "x86_32"
17
18depends: [
19 "ocaml" {>= "4.01.0"}
20 "dune" {>= "2.9.0"}
21 "irmin-tezos" {= version}
22 "irmin-pack" {= version}
23 "cmdliner" {>= "1.1.0"}
24 "notty" {>= "0.2.3"}
25 "ptime"
26 "hex"
27 "irmin-test" {with-test & = version}
28 "alcotest" {with-test}
29]
30
31synopsis: "Utils for Irmin tezos"
32description: """
33`Irmin-tezos-utils` defines useful binaries and libraries for
34an internal use of irmin, like inspecting tezos stores, pack
35files and such.
36"""
37url {
38 src:
39 "https://github.com/mirage/irmin/releases/download/3.4.2/irmin-3.4.2.tbz"
40 checksum: [
41 "sha256=964512f77697947a73dd1875c634d6804e98f14167c5aadd3c4f85b5f30ffb53"
42 "sha512=d56d3285daa2dd36f1eaff867af5c8f44c61bba4de1a5c7bb5347652dbc460c343483ab61de1a9302f664af357eacc964dc5c8b4477f6d01372dc028b162e98b"
43 ]
44}
45x-commit-hash: "78a0bed5b6cb25c8a90a00cc9280c0fad37b89e2"