diff options
Diffstat (limited to 'dune-project')
-rw-r--r-- | dune-project | 15 |
1 files 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))) |