- filter out private deps auto/th/why3-1.4.0-2
authorJan Rękorajski <baggins@pld-linux.org>
Mon, 29 Mar 2021 20:47:40 +0000 (22:47 +0200)
committerJan Rękorajski <baggins@pld-linux.org>
Mon, 29 Mar 2021 20:47:55 +0000 (22:47 +0200)
- rel 2

why3.spec

index a2db4b372ad2ed13cec3fdcc460e5fc9c196d51a..fcfe3f655e50f0f3409af5b7dd9f09df72e3fd8a 100644 (file)
--- 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
This page took 0.064056 seconds and 4 git commands to generate.