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.1/irmin-3.5.1.tbz"
40 checksum: [
41 "sha256=cd788a8d3f4a3dd18dc160a153d4aec91eaf6b0fb41ad41464d26c79c304a98e"
42 "sha512=4f97862678d35e0b4aa814a1df51d6f8c59bcf5b611c73f0a475f9b5386ca42a4a18e65ce80fc425ddad93fcdacfcb563c52f6423777610a0bc567902f4db088"
43 ]
44}
45x-commit-hash: "10da10ec10da2b872846b0324efb2284f1460eb1"