From: Jan Rękorajski <baggins@pld-linux.org>
Date: Sat, 20 Nov 2021 22:08:10 +0000 (+0100)
Subject: rebuild with separate debuginfo build-ids
X-Git-Tag: auto/th/why3-1.4.0-3
X-Git-Url: http://git.pld-linux.org/?p=packages%2Fwhy3.git;a=commitdiff_plain;h=b69ad0e

rebuild with separate debuginfo build-ids

Release 3 (by relup.sh)
---

diff --git a/why3.spec b/why3.spec
index fcfe3f6..28833a5 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
 Summary:	Software verification platform
 Name:		why3
 Version:	1.4.0
-Release:	2
+Release:	3
 License:	LGPLv2 with exceptions
 Group:		Applications
 Source0:	https://gforge.inria.fr/frs/download.php/38425/%{name}-%{version}.tar.gz