[packages/ocaml-menhir] - disable coq globally

[baggins]

commit 2b5e6bfedf1a16f1fa1660e18e6038aed549f6ee
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Thu Apr 23 08:31:45 2026 +0200

    - disable coq globally

 ocaml-menhir.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index a5e33f9..088b1cb 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -1,7 +1,7 @@
 #
 # Conditional build:
 %bcond_without	ocaml_opt	# native optimized binaries (bytecode is always built)
-%bcond_without	coq		# coq menhir library
+%bcond_with	coq		# coq menhir library
 
 # not yet available on x32 (ocaml 4.02.1), update when upstream will support it
 %ifnarch %{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/ocaml-menhir.git/commitdiff/2b5e6bfedf1a16f1fa1660e18e6038aed549f6ee