1 # This file is generated by dune, edit dune-project instead
3 synopsis: "A short synopsis"
4 description: "A longer description"
5 maintainer: ["Maintainer Name"]
6 authors: ["Author Name"]
8 tags: ["topics" "to describe" "your" "project"]
9 homepage: "https://github.com/username/reponame"
10 doc: "https://url/to/documentation"
11 bug-reports: "https://github.com/username/reponame/issues"
18 ["dune" "subst"] {dev}
27 "@runtest" {with-test}
31 dev-repo: "git+https://github.com/username/reponame.git"