this repo has no description
patrick.sirref.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "Shelter from the Storm"
4description: "A shell session shim to help you explore!"
5maintainer: ["Patrick Ferris <patrick@sirref.org>"]
6authors: ["Patrick Ferris <patrick@sirref.org>"]
7license: "ISC"
8tags: ["shell"]
9homepage: "https://github.com/username/reponame"
10bug-reports: "https://github.com/username/reponame/issues"
11depends: [
12 "dune" {>= "3.17"}
13 "ocaml" {< "5.3.0~~"}
14 "ctypes" {< "0.23.0"}
15 "eio_posix"
16 "zfs"
17 "cid"
18 "ppx_repr"
19 "irmin-git"
20 "yojson" {< "3.0.0"}
21 "morbig"
22 "ppx_blob"
23 "cmdliner"
24 "odoc" {with-doc}
25]
26build: [
27 ["dune" "subst"] {dev}
28 [
29 "dune"
30 "build"
31 "-p"
32 name
33 "-j"
34 jobs
35 "@install"
36 "@runtest" {with-test}
37 "@doc" {with-doc}
38 ]
39]
40dev-repo: "git+https://github.com/username/reponame.git"
41pin-depends:[
42 [ "irmin.dev" "git+https://github.com/mirage/irmin#eio" ]
43 [ "ppx_irmin.dev" "git+https://github.com/mirage/irmin#eio" ]
44 [ "irmin-git.dev" "git+https://github.com/mirage/irmin#eio" ]
45 [ "irmin-watcher.dev" "git+https://github.com/patricoferris/irmin-watcher#675125d9e95cd09ef0c18ab1d9d6d69a26856b9f" ]
46]