+BuildRequires: bash
+BuildRequires: hevea
+BuildRequires: netpbm-progs
+BuildRequires: ocaml >= 1:4.05
+BuildRequires: camlp5 >= 5.01
+BuildRequires: ocaml-dune > 2.5.0
+BuildRequires: ocaml-findlib >= 1.8.1
+BuildRequires: ocaml-zarith-devel >= 1.10
+BuildRequires: ocaml-lablgtk3-devel
+BuildRequires: ocaml-lablgtk3-gtksourceview-devel
+BuildRequires: sed >= 4.0
+BuildRequires: texlive-fonts-cmextra
+BuildRequires: texlive-fonts-cmsuper
+BuildRequires: texlive-fonts-other
+BuildRequires: texlive-format-pdflatex
+BuildRequires: texlive-latex-ams
+BuildRequires: texlive-latex-comment
+BuildRequires: texlive-latex-moreverb
+BuildRequires: texlive-latex-ucs
+BuildRequires: texlive-makeindex
+BuildRequires: texlive-psutils
+# hyperref.sty (from latex) requires ifxexex.sty (from xetex)
+BuildRequires: texlive-xetex
+%requires_eq ocaml-runtime
+Obsoletes: coq-emacs < 8.13.1
+# same as ocaml-zarith
+ExclusiveArch: %{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9