This repository has no description
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"
14 "eio_posix"
15 "void"
16 "zfs"
17 "cid"
18 "ppx_repr"
19 "irmin-fs"
20 "cmdliner"
21 "odoc" {with-doc}
22]
23build: [
24 ["dune" "subst"] {dev}
25 [
26 "dune"
27 "build"
28 "-p"
29 name
30 "-j"
31 jobs
32 "@install"
33 "@runtest" {with-test}
34 "@doc" {with-doc}
35 ]
36]
37dev-repo: "git+https://github.com/username/reponame.git"
38pin-depends:[
39 [ "zfs.dev" "git+https://github.com/patricoferris/ocaml-zfs" ]
40 [ "void.dev" "git+https://github.com/quantifyearth/void" ]
41 [ "irmin.dev" "git+https://github.com/mirage/irmin#eio" ]
42 [ "irmin-fs.dev" "git+https://github.com/mirage/irmin#eio" ]
43]