this repo has no description
anil.recoil.org
1# This file is generated by dune, edit dune-project instead
2opam-version: "2.0"
3synopsis: "JMAP protocol"
4description: "This is all still a work in progress"
5maintainer: ["anil@recoil.org"]
6authors: ["Anil Madhavapeddy"]
7license: "ISC"
8homepage: "https://github.com/avsm/jmap"
9bug-reports: "https://github.com/avsm/jmap/issues"
10depends: [
11 "dune" {>= "3.17"}
12 "ocaml" {>= "5.2.0"}
13 "ezjsonm"
14 "ptime"
15 "odoc" {with-doc}
16]
17build: [
18 ["dune" "subst"] {dev}
19 [
20 "dune"
21 "build"
22 "-p"
23 name
24 "-j"
25 jobs
26 "@install"
27 "@runtest" {with-test}
28 "@doc" {with-doc}
29 ]
30]
31dev-repo: "git+https://github.com/avsm/jmap.git"