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.5.0/irmin-3.5.0.tbz"
40 checksum: [
41 "sha256=9a0d8b07b828f5c24495c879c5b4f6f34b4da508ab40f33a94fef2944364b823"
42 "sha512=4006dafe8dcd43388e372cb3bbfa5dba558b397c2ffb4eea2996e70ba0cfdb533b61874cf5b3db62ae53033c30ee797778d9eebfb03a7d8c8bba117a1c85dc91"
43 ]
44}
45x-commit-hash: "f3ca299b70115aa8f99979c61eef0f76e0188a67"