summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
8bee228)
Changed files:
coq.spec -> 1.16
BuildRequires: camlp5 >= 5.01
BuildRequires: ocaml-lablgtk2-devel >= 2.12.0
BuildRequires: sed >= 4.0
BuildRequires: camlp5 >= 5.01
BuildRequires: ocaml-lablgtk2-devel >= 2.12.0
BuildRequires: sed >= 4.0
+BuildRequires: texlive-latex-ams
BuildRequires: texlive-latex-comment
BuildRequires: texlive-format-pdflatex
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)
BuildRequires: texlive-latex-comment
BuildRequires: texlive-format-pdflatex
BuildRoot: %{tmpdir}/%{name}-%{version}-root-%(id -u -n)