From 8edb6738a092466875d4b7e8823724c69a7705b8 Mon Sep 17 00:00:00 2001 From: =?utf8?q?Jan=20R=C4=99korajski?= Date: Fri, 8 Apr 2011 07:55:27 +0000 Subject: [PATCH 1/1] - more texlive BR Changed files: coq.spec -> 1.18 --- coq.spec | 1 + 1 file changed, 1 insertion(+) 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) -- 2.43.0