From cb124a87d8ed1a309b00c9163cde2911ee029251 Mon Sep 17 00:00:00 2001 From: Marc Coquand Date: Tue, 26 Dec 2023 09:02:53 -0600 Subject: Add cmdliner --- fixgen.opam | 1 + 1 file changed, 1 insertion(+) (limited to 'fixgen.opam') 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: [ -- cgit v1.2.3