From 58a9dee97ac21db1da038be2527b282a107d94dd Mon Sep 17 00:00:00 2001 From: Jose Nogueira Date: Tue, 23 Jul 2024 15:25:01 +0000 Subject: [PATCH] add public_name stanza to the lib --- lib/dune | 1 + 1 file changed, 1 insertion(+) diff --git a/lib/dune b/lib/dune index c52632c..c85bb74 100644 --- a/lib/dune +++ b/lib/dune @@ -3,6 +3,7 @@ (library (name passage) + (public_name passage) (libraries devkit extunix