[packages/why3] - filter out private deps - rel 2

[baggins]

commit d9dd4fa0efef27c0872a376a18c05a717dabe775
Author: Jan Rękorajski <baggins at pld-linux.org>
Date:   Mon Mar 29 22:47:40 2021 +0200

    - filter out private deps
    - rel 2

 why3.spec | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)
---
diff --git a/why3.spec b/why3.spec
index a2db4b3..fcfe3f6 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:	Software verification platform
 Name:		why3
 Version:	1.4.0
-Release:	1
+Release:	2
 License:	LGPLv2 with exceptions
 Group:		Applications
 Source0:	https://gforge.inria.fr/frs/download.php/38425/%{name}-%{version}.tar.gz
@@ -25,6 +25,8 @@ BuildRequires:	sqlite3-devel
 ExclusiveArch:	%{ix86} %{x8664} %{arm} aarch64 ppc sparc sparcv9
 BuildRoot:	%{tmpdir}/%{name}-%{version}-root-%(id -u -n)
 
+%define		_noautoreq	ocamlx?\\\(Why3\\\)
+
 %description
 Why3 is the next generation of the Why software verification platform.
 Why3 clearly separates the purely logical specification part from
================================================================

---- gitweb:

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