diff options
author | Marc Coquand <marc@mccd.space> | 2023-12-26 09:02:53 -0600 |
---|---|---|
committer | Marc Coquand <marc@mccd.space> | 2023-12-26 09:57:19 -0600 |
commit | cb124a87d8ed1a309b00c9163cde2911ee029251 (patch) | |
tree | ebb46550ef6236c66ddde5894128ca2e492229df /fixgen.opam | |
parent | 5036848184a912a857c4c1e76ef02985295855eb (diff) | |
download | fixgen-cb124a87d8ed1a309b00c9163cde2911ee029251.tar.gz fixgen-cb124a87d8ed1a309b00c9163cde2911ee029251.tar.bz2 fixgen-cb124a87d8ed1a309b00c9163cde2911ee029251.zip |
Add cmdliner
Diffstat (limited to '')
-rw-r--r-- | fixgen.opam | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/fixgen.opam b/fixgen.opam index a68e9b0..338965e 100644 --- a/fixgen.opam +++ b/fixgen.opam @@ -15,6 +15,7 @@ depends: [ "ppx_deriving" "uuidm" "alcotest" + "cmdliner" "odoc" {with-doc} ] build: [ |