From fd0d6c3ee8dbcd3e3a4d4dadc1e7d53315bac654 Mon Sep 17 00:00:00 2001 From: rand00 Date: Wed, 12 Jan 2022 15:20:16 +0100 Subject: [PATCH] dune: Added gg --- src/dune | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/dune b/src/dune index dab03e0..126c29b 100644 --- a/src/dune +++ b/src/dune @@ -1,6 +1,6 @@ (library (name opam_graph) (public_name opam-graph) - (libraries opam-core opam-format dot rresult tyxml) + (libraries opam-core opam-format dot rresult tyxml gg) (flags (:standard (-w -27-26))) )