From b46eabb16fd749f1d6cab79b0851f0d8a9558023 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Thu, 7 Apr 2011 22:38:18 +0000 Subject: [PATCH] - more latex deps Changed files: coq.spec -> 1.17 --- coq.spec | 1 + 1 file changed, 1 insertion(+) diff --git a/coq.spec b/coq.spec index 30829c8..7f915aa 100644 --- a/coq.spec +++ b/coq.spec @@ -22,6 +22,7 @@ BuildRequires: ocaml-lablgtk2-devel >= 2.12.0 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) -- 2.43.0