Changed files:
coq.spec -> 1.17
BuildRequires: sed >= 4.0
BuildRequires: texlive-latex-ams
BuildRequires: texlive-latex-comment
BuildRequires: sed >= 4.0
BuildRequires: texlive-latex-ams
BuildRequires: texlive-latex-comment
+BuildRequires: texlive-latex-moreverb
BuildRequires: texlive-format-pdflatex
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
BuildRequires: texlive-format-pdflatex
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)