this repo has no description
anil.recoil.org
1opam-version: "2.0"
2synopsis: "Convert cmdlang Parsers to cmdliner"
3maintainer: ["Mathieu Barbin <opensource@mbarbin.org>"]
4authors: ["Mathieu Barbin"]
5license: "MIT"
6homepage: "https://github.com/mbarbin/cmdlang"
7doc: "https://mbarbin.github.io/cmdlang/"
8bug-reports: "https://github.com/mbarbin/cmdlang/issues"
9depends: [
10 "dune" {>= "3.16"}
11 "ocaml" {>= "4.14"}
12 "cmdlang" {= version}
13 "cmdliner" {>= "1.3.0"}
14 "odoc" {with-doc}
15]
16build: [
17 ["dune" "subst"] {dev}
18 [
19 "dune"
20 "build"
21 "-p"
22 name
23 "-j"
24 jobs
25 "@install"
26 "@runtest" {with-test}
27 "@doc" {with-doc}
28 ]
29]
30dev-repo: "git+https://github.com/mbarbin/cmdlang.git"
31description: """\
32
33[Cmdlang_to_cmdliner] allows translating command line programs
34specified with [cmdlang] into [cmdliner] commands suitable for
35execution.
36
37[cmdliner]: https://github.com/dbuenzli/cmdliner
38
39"""
40tags: [ "cli" "cmdlang" "cmdliner" ]
41x-maintenance-intent: [ "(latest)" ]
42url {
43 src:
44 "https://github.com/mbarbin/cmdlang/releases/download/0.0.9/cmdlang-0.0.9.tbz"
45 checksum: [
46 "sha256=44fc0027cc27a8d6b511bbde81b0d31306ec1a3d599476d5bd058510f39e87ef"
47 "sha512=e1a18905ff6035eb4c44aed71df0e3d42b8277db9a6e98fe571a3b17428c9ef0a26006cb27b729a60208a8357398decc6a8601caca74dabd2e6de7636bc60b31"
48 ]
49}
50x-commit-hash: "c9c2c1773e374f61f890b4ae36d09a1195010a4c"