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