- drop (x)emacs BRs auto/th/why3-0.73-1
authorJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:49:20 +0000 (13:49 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Tue, 14 May 2013 11:49:20 +0000 (13:49 +0200)
why3.spec

index 3d1f1c793a9f84895f5951beee8842494b1efe2c..53c1153dc953d875e404da609fdfa358f2ec2bd6 100644 (file)
--- 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)
This page took 0.156231 seconds and 4 git commands to generate.