packages: coq/coq.spec - BR texlive-latex-ams

[baggins]

Author: baggins                      Date: Thu Apr  7 22:16:45 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- BR texlive-latex-ams

---- Files affected:
packages/coq:
   coq.spec (1.15 -> 1.16) 

---- Diffs:

================================================================
Index: packages/coq/coq.spec
diff -u packages/coq/coq.spec:1.15 packages/coq/coq.spec:1.16
--- packages/coq/coq.spec:1.15	Thu Apr  7 23:42:44 2011
+++ packages/coq/coq.spec	Fri Apr  8 00:16:40 2011
@@ -21,6 +21,7 @@
 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)
@@ -122,6 +123,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.16  2011/04/07 22:16:40  baggins
+- BR texlive-latex-ams
+
 Revision 1.15  2011/04/07 21:42:44  baggins
 - 8.3pl1
 - added desktop file and icon for coqide
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/coq/coq.spec?r1=1.15&r2=1.16&f=u