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