commit b69ad0e02104a4655169728b36d6a4c0019047eb
Author: Jan Rękorajski <[email protected]>
Date: Sat Nov 20 23:08:10 2021 +0100
rebuild with separate debuginfo build-ids
Release 3 (by relup.sh)
why3.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
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
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/b69ad0e02104a4655169728b36d6a4c0019047eb
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
