diff --git a/ocaml-menhir.spec b/ocaml-menhir.spec
index 63a7b79..c57c393 100644
--- a/ocaml-menhir.spec
+++ b/ocaml-menhir.spec
@@ -2,7 +2,12 @@
 %global debug_package %{nil}
 %endif
 
+# https://bugzilla.redhat.com/show_bug.cgi?id=1874879
+%ifarch s390x
+%bcond_with coq
+%else
 %bcond_without coq
+%endif
 
 Name:           ocaml-menhir
 Version:        20201201