From eb17f2f4f98ef2f989e1068a0a732b0012865f8f Mon Sep 17 00:00:00 2001
From: Hannes Mehnert <hannes@mehnert.org>
Date: Mon, 15 Jun 2026 21:51:48 +0200
Subject: [PATCH] avoid pipe in dune for debugging

---
 dune | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/dune b/dune
index f68c246..682df14 100644
--- a/dune
+++ b/dune
@@ -89,7 +89,7 @@
    zarith_version.ml
    (progn
     (run echo "let")
-    (bash "grep \"version\" META | head -1")))))
+    (bash "grep \"^version = \" META")))))
 
 (library
  (name zarith_top)