aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
Diffstat (limited to '')
-rw-r--r--dune-project27
1 files changed, 27 insertions, 0 deletions
diff --git a/dune-project b/dune-project
new file mode 100644
index 0000000..dc732ee
--- /dev/null
+++ b/dune-project
@@ -0,0 +1,27 @@
+(lang dune 3.11)
+
+(name ann_bloop)
+
+(generate_opam_files true)
+
+(source
+ (github username/reponame))
+
+(authors "Marc Coquand")
+
+(maintainers "Marc Coquand")
+
+(license AGPL-3.0-only)
+
+(documentation https://url/to/documentation)
+
+(package
+ (name ann_bloop)
+ (synopsis "A short synopsis")
+ (description "A longer description")
+ (depends ocaml dune dream ppx_yojson_conv crunch cohttp lwt_ppx cohttp-lwt-unix containers calendar ptime mirage-crypto-rng mirage-crypto-rng-lwt ppx_inline_test ppx_deriving decoders-yojson)
+ (tags
+ (topics "to describe" your project)))
+
+
+; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project