diff options
| author | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:18:23 -0600 |
|---|---|---|
| committer | Marc Coquand <marcc@fastmail.fr> | 2023-12-04 08:18:23 -0600 |
| commit | cf89e5ae5aade4a1bac676215289c9ee6db71b75 (patch) | |
| tree | 31d623e55a8b4958dbd9cc7ed3cd27bbeb2bedc0 /dune-project | |
| parent | 82ea8dd9b62ecf8040d1db7e682e9a959a9f5b6c (diff) | |
| download | wormhole-cf89e5ae5aade4a1bac676215289c9ee6db71b75.tar.gz wormhole-cf89e5ae5aade4a1bac676215289c9ee6db71b75.tar.bz2 wormhole-cf89e5ae5aade4a1bac676215289c9ee6db71b75.zip | |
Update dune project
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))) |