From 320954996e921d7b34eb61f462799b5c6ab8ee09 Mon Sep 17 00:00:00 2001 From: Marcos Magueta Date: Sat, 26 Sep 2026 22:09:11 -0300 Subject: new shrunk API for RNT on sakura --- lib/dune | 1 + 1 file changed, 1 insertion(+) (limited to 'lib/dune') diff --git a/lib/dune b/lib/dune index 543ab60..90a6fc2 100644 --- a/lib/dune +++ b/lib/dune @@ -5,6 +5,7 @@ (public_name sakura.relational_engine) (libraries dynlink + rnt sha data-encoding lwt -- cgit v1.2.3