Disable Coq for OCaml bootstrap.
This commit is contained in:
parent
059fdf00b4
commit
f4df7df5d8
|
@ -2,7 +2,7 @@
|
|||
%global debug_package %{nil}
|
||||
%endif
|
||||
|
||||
%bcond_without coq
|
||||
%bcond_with coq
|
||||
|
||||
Name: ocaml-menhir
|
||||
Version: 20200211
|
||||
|
|
Loading…
Reference in New Issue