From: Jan Rękorajski <baggins@pld-linux.org>
Date: Thu, 7 Apr 2011 22:38:18 +0000 (+0000)
Subject: - more latex deps
X-Git-Tag: auto/th/coq-8_3pl1-1~7
X-Git-Url: https://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=b46eabb16fd749f1d6cab79b0851f0d8a9558023

- more latex deps

Changed files:
    coq.spec -> 1.17
---

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)