this repo has no description
anil.recoil.org
1opam-version: "2.0"
2maintainer: "thomas@gazagnaire.org"
3authors: ["Thomas Gazagnaire" "Thomas Leonard"]
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 # Tests disabled on 32-bit platforms as the Dune build fails in CI:
14 ["dune" "runtest" "-p" name "-j" jobs] {with-test & arch != "arm32" & arch != "x86_32"}
15]
16
17depends: [
18 "ocaml" {>= "4.02.3"}
19 "dune" {>= "2.9.0"}
20 "irmin" {= version}
21 "ppx_irmin" {= version}
22 "git" {>= "3.7.0"}
23 "git-unix" {>= "3.7.0"}
24 "digestif" {>= "0.9.0"}
25 "cstruct"
26 "fmt"
27 "astring"
28 "cohttp-lwt-unix"
29 "fpath"
30 "logs"
31 "lwt" {>= "5.3.0"}
32 "uri"
33 "mimic"
34 "irmin-test" {with-test & = version}
35 "mtime" {with-test & >= "1.0.0" & < "2.0.0"}
36 "alcotest" {with-test}
37 "irmin-watcher" {>= "0.2.0"}
38]
39
40synopsis: "Git backend for Irmin"
41description: """
42`Irmin_git` expose a bi-directional bridge between Git repositories and
43Irmin stores.
44"""
45url {
46 src:
47 "https://github.com/mirage/irmin/releases/download/3.4.2/irmin-3.4.2.tbz"
48 checksum: [
49 "sha256=964512f77697947a73dd1875c634d6804e98f14167c5aadd3c4f85b5f30ffb53"
50 "sha512=d56d3285daa2dd36f1eaff867af5c8f44c61bba4de1a5c7bb5347652dbc460c343483ab61de1a9302f664af357eacc964dc5c8b4477f6d01372dc028b162e98b"
51 ]
52}
53x-commit-hash: "78a0bed5b6cb25c8a90a00cc9280c0fad37b89e2"