[packages/alt-ergo] - removed fedora leftovers

[baggins]

commit 812c459bdca5700f8cbe5c2c3df3a08efc976259
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Thu May 16 12:59:09 2013 +0200

    - removed fedora leftovers

 alt-ergo.spec | 4 ----
 1 file changed, 4 deletions(-)
---
diff --git a/alt-ergo.spec b/alt-ergo.spec
index d168303..179fb0d 100644
--- a/alt-ergo.spec
+++ b/alt-ergo.spec
@@ -18,10 +18,6 @@ BuildRequires:	ocaml-lablgtk2-gtksourceview2-devel
 Requires(post):	coreutils
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
-# Filter out symbols that are provided by interface files (*.mli) only.
-# There are no corresponding symbols available at runtime.
-%global __requires_exclude ocaml\\\(((Sig)|(Smt_ast)|(Why_ptree))\\\)
-
 %description
 Alt-Ergo is an automated theorem prover implemented in OCaml. It is
 based on CC(X) - a congruence closure algorithm parameterized by an
================================================================

---- gitweb:

http://git.pld-linux.org/gitweb.cgi/packages/alt-ergo.git/commitdiff/812c459bdca5700f8cbe5c2c3df3a08efc976259