From cc783c157f31e7e713c8b83be67449b1859dac27 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Wed, 20 Dec 2023 20:43:25 -0600 Subject: Initial commit --- dune-project | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 dune-project (limited to 'dune-project') 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 -- cgit v1.2.3