From: Jan Rękorajski <baggins@pld-linux.org>
Date: Fri, 8 Apr 2011 07:55:27 +0000 (+0000)
Subject: - more texlive BR
X-Git-Tag: auto/th/coq-8_3pl1-1~6
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=8edb6738a092466875d4b7e8823724c69a7705b8;hp=b46eabb16fd749f1d6cab79b0851f0d8a9558023

- more texlive BR

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

diff --git a/coq.spec b/coq.spec
index 7f915aa..b784158 100644
--- a/coq.spec
+++ b/coq.spec
@@ -23,6 +23,7 @@ BuildRequires:	sed >= 4.0
 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)