aboutsummaryrefslogtreecommitdiff
path: root/dune-project
diff options
context:
space:
mode:
authorMarc Coquand <marcc@fastmail.fr>2023-12-04 08:40:49 -0600
committerMarc Coquand <marcc@fastmail.fr>2023-12-04 08:40:49 -0600
commit5a707d752336495ba45986679b7ac6ef0e513486 (patch)
tree73743dc9f1099d575b630ba2bcb4b78bf1315ce3 /dune-project
parent0ea8395070b1437d062fc7a9772dab2f1bc0a8a1 (diff)
downloadwormhole-5a707d752336495ba45986679b7ac6ef0e513486.tar.gz
wormhole-5a707d752336495ba45986679b7ac6ef0e513486.tar.bz2
wormhole-5a707d752336495ba45986679b7ac6ef0e513486.zip
Updates to readme
Diffstat (limited to '')
-rw-r--r--dune-project9
1 files changed, 1 insertions, 8 deletions
diff --git a/dune-project b/dune-project
index d0f9448..92cf8b9 100644
--- a/dune-project
+++ b/dune-project
@@ -2,14 +2,7 @@
(name wormhole)
(version 82ea8dd-dirty)
-
-(authors "Marc Coquand")
-
-(maintainers "Marc Coquand")
-
-(license agpl-3.0)
-
-(documentation https://git.mccd.space/wormhole)
+(documentation https://git.mccd.space/wormhole/about)
(package
(name wormhole)