From: Jan Rękorajski <baggins@pld-linux.org>
Date: Thu, 7 Apr 2011 22:16:40 +0000 (+0000)
Subject: - BR texlive-latex-ams
X-Git-Tag: auto/th/coq-8_3pl1-1~8
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fcoq.git;a=commitdiff_plain;h=308e751128d4e2072cc036d05a8758f26b0e2a2c

- BR texlive-latex-ams

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

diff --git a/coq.spec b/coq.spec
index 8b70a67..30829c8 100644
--- a/coq.spec
+++ b/coq.spec
@@ -20,6 +20,7 @@ BuildRequires:	ocaml >= 3.09.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)