From cf89e5ae5aade4a1bac676215289c9ee6db71b75 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Mon, 4 Dec 2023 08:18:23 -0600 Subject: Update dune project --- dune-project | 15 ++++++--------- 1 file changed, 6 insertions(+), 9 deletions(-) diff --git a/dune-project b/dune-project index deac556..b50935b 100644 --- a/dune-project +++ b/dune-project @@ -1,26 +1,23 @@ (lang dune 3.11) (name wormhole) -(version 4771982-dirty) +(version 82ea8dd-dirty) (generate_opam_files true) -(source - (github username/reponame)) +(authors "Marc Coquand") -(authors "Author Name") +(maintainers "Marc Coquand") -(maintainers "Maintainer Name") +(license agpl-3.0) -(license LICENSE) - -(documentation https://url/to/documentation) +(documentation https://git.mccd.space/wormhole) (package (name wormhole) (synopsis "A short synopsis") (description "A longer description") - (depends ocaml dune ppx_yojson_conv) + (depends ocaml dune ppx_yojson_conv crunch cohttp cohttp-lwt-unix containers calendar ptime mirage-crypto-rng mirage-crypto-rng-lwt) (tags (topics "to describe" your project))) -- cgit v1.2.3