Explicitly BR make.

This commit is contained in:
Jerry James 2020-11-09 16:46:24 -07:00
parent 5349ca0ce7
commit 2bf3d17974

View File

@ -19,6 +19,7 @@ BuildRequires: coq
%endif
BuildRequires: hevea
BuildRequires: ImageMagick
BuildRequires: make
BuildRequires: ocaml
BuildRequires: ocaml-dune
BuildRequires: ocaml-odoc