From 257f5288a486740187e44b6ef4cadaad7166930e Mon Sep 17 00:00:00 2001
From: Marcos Magueta <maguetamarcos@gmail.com>
Date: Sun, 12 Jul 2026 18:15:31 -0300
Subject: package build carries menhir and rocq, docs completeness pass

---
 dune-project | 1 +
 1 file changed, 1 insertion(+)

(limited to 'dune-project')

diff --git a/dune-project b/dune-project
index 4ba98c7..d490405 100644
--- a/dune-project
+++ b/dune-project
@@ -22,4 +22,5 @@
    (>= 5.1))
   zarith
   (menhir :build)
+  (coq :build)
   (alcotest :with-test)))
-- 
cgit v1.2.3