mirror of
https://github.com/chshersh/github-tui.git
synced 2024-08-17 22:40:41 +03:00
32 lines
570 B
Plaintext
32 lines
570 B
Plaintext
(lang dune 3.12)
|
|
|
|
(name github_tui)
|
|
|
|
(generate_opam_files true)
|
|
|
|
(source
|
|
(github chshersh/github-tui))
|
|
|
|
(authors "Dmitrii Kovanikov <chshersh@gmail.com>")
|
|
(maintainers "Dmitrii Kovanikov <chshersh@gmail.com>")
|
|
|
|
(license MPL-2.0)
|
|
|
|
(package
|
|
(name github_tui)
|
|
(synopsis "A short synopsis")
|
|
(description "A longer description")
|
|
(depends
|
|
(ocaml (>= "5.1"))
|
|
dune
|
|
(ANSITerminal (>= "0.8.5"))
|
|
(cmdliner (>= "1.2.0"))
|
|
(ezcurl (>= "0.2.4"))
|
|
(minttea (>= "0.0.2"))
|
|
shape-the-term
|
|
(terminal_size (>= "0.2.0"))
|
|
unix
|
|
)
|
|
(tags
|
|
(tui cli git github)))
|