[packages/why3] - drop (x)emacs BRs

baggins baggins at pld-linux.org
Tue May 14 13:49:33 CEST 2013


commit 51f94c8775df6179222fc02d0f3970c3e01b87f9
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Tue May 14 13:49:20 2013 +0200

    - drop (x)emacs BRs

 why3.spec | 2 --
 1 file changed, 2 deletions(-)
---
diff --git a/why3.spec b/why3.spec
index 3d1f1c7..53c1153 100644
--- a/why3.spec
+++ b/why3.spec
@@ -9,7 +9,6 @@ Source0:	https://gforge.inria.fr/frs/download.php/31257/%{name}-%{version}.tar.g
 URL:		http://why3.lri.fr/
 BuildRequires:	camlp5
 BuildRequires:	coq
-BuildRequires:	emacs
 BuildRequires:	evince
 BuildRequires:	gtksourceview2-devel
 BuildRequires:	ocaml
@@ -20,7 +19,6 @@ BuildRequires:	ocaml-lablgtk2-gtksourceview2-devel
 BuildRequires:	ocaml-sqlite-devel
 BuildRequires:	rubber
 BuildRequires:	sqlite3-devel
-BuildRequires:	xemacs
 Requires:	gtksourceview2
 %requires_eq	ocaml-runtime
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/51f94c8775df6179222fc02d0f3970c3e01b87f9



More information about the pld-cvs-commit mailing list