From 8f12d2a907fe66b624dc807a6cc229966b51be7d Mon Sep 17 00:00:00 2001
From: =?utf8?q?Jan=20R=C4=99korajski?= <baggins@pld-linux.org>
Date: Sat, 22 Jan 2022 09:53:42 +0100
Subject: [PATCH] Release 4 (by relup.sh)

---
 why3.spec | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

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