rebuild with separate debuginfo build-ids auto/th/why3-1.4.0-3
authorJan Rękorajski <baggins@pld-linux.org>
Sat, 20 Nov 2021 22:08:10 +0000 (23:08 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sat, 20 Nov 2021 22:08:10 +0000 (23:08 +0100)
Release 3 (by relup.sh)

why3.spec

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