packages: coq/coq.spec - more latex deps

baggins baggins at pld-linux.org
Fri Apr 8 00:38:24 CEST 2011


Author: baggins                      Date: Thu Apr  7 22:38:24 2011 GMT
Module: packages                      Tag: HEAD
---- Log message:
- more latex deps

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

---- Diffs:

================================================================
Index: packages/coq/coq.spec
diff -u packages/coq/coq.spec:1.16 packages/coq/coq.spec:1.17
--- packages/coq/coq.spec:1.16	Fri Apr  8 00:16:40 2011
+++ packages/coq/coq.spec	Fri Apr  8 00:38:18 2011
@@ -23,6 +23,7 @@
 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)
 
@@ -123,6 +124,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.17  2011/04/07 22:38:18  baggins
+- more latex deps
+
 Revision 1.16  2011/04/07 22:16:40  baggins
 - BR texlive-latex-ams
 
================================================================

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



More information about the pld-cvs-commit mailing list