[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