-
Notifications
You must be signed in to change notification settings - Fork 1
/
dune-project
60 lines (49 loc) · 850 Bytes
/
dune-project
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
(lang dune 3.13)
(using menhir 3.0)
(name forester)
(authors "Jonathan Sterling")
(maintainers "Jonathan Sterling")
(version 4.1.0)
(generate_opam_files true)
(source
(sourcehut jonsterling/ocaml-forester))
(bug_reports https://todo.sr.ht/~jonsterling/forester)
(homepage https://sr.ht/~jonsterling/forester/)
(license GPL-3.0-or-later)
(package
(name forester)
(synopsis "A tool for tending mathematical forests")
(depends
(menhir
(>= 3.0))
(ocamlgraph
(>= 2.1.0))
(ocaml
(>= 5.1.1))
dune
ppx_deriving
(cmdliner
(>= 1.2.0))
dune-build-info
(uucp
(>= 15.1.0))
(eio_main
(>= 1.1))
(ptime
(>= 1.1.0))
(asai
(>= 0.3.0))
(yuujinchou
(>= 5.2.0))
(bwd
(>= 2.3.0))
(algaeff
(>= 2.0.0))
(yojson
(>= 2.1.2))
(toml
(>= 7.1.0))
(repr
(>= 0.7.0))
(uri
(>= 4.4.0))))