commit 51f94c8775df6179222fc02d0f3970c3e01b87f9
Author: Jan Rękorajski <[email protected]>
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
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
