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