]> matita.cs.unibo.it Git - helm.git/blob - matita/dune-project
99912ea13758d64c57cf83a62063047435703826
[helm.git] / matita / dune-project
1 (lang dune 3.6)
2
3 (name matita)
4
5 (generate_opam_files true)
6
7 (source
8  (github username/reponame))
9
10 (authors "Author Name")
11
12 (maintainers "Maintainer Name")
13
14 (license LICENSE)
15
16 (documentation https://url/to/documentation)
17
18 (package
19  (name matita)
20  (synopsis "A short synopsis")
21  (description "A longer description")
22  (depends ocaml dune)
23  (tags
24   (topics "to describe" your project)))
25
26 ; See the complete stanza docs at https://dune.readthedocs.io/en/stable/dune-files.html#dune-project