summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
b46eabb)
Changed files:
coq.spec -> 1.18
BuildRequires: texlive-latex-ams
BuildRequires: texlive-latex-comment
BuildRequires: texlive-latex-moreverb
BuildRequires: texlive-latex-ams
BuildRequires: texlive-latex-comment
BuildRequires: texlive-latex-moreverb
+BuildRequires: texlive-psutils
BuildRequires: texlive-format-pdflatex
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
BuildRequires: texlive-format-pdflatex
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)