[packages/why3] - release 4 (by relup.sh)
baggins
baggins at pld-linux.org
Sun Jul 26 09:32:06 CEST 2015
commit 91e5445e3799e7a867fab3be33a409c4de33f7f2
Author: Jan Rękorajski <baggins at pld-linux.org>
Date: Sun Jul 26 09:31:58 2015 +0200
- release 4 (by relup.sh)
why3.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/why3.spec b/why3.spec
index 7517b12..6accd9e 100644
--- a/why3.spec
+++ b/why3.spec
@@ -1,7 +1,7 @@
Summary: Software verification platform
Name: why3
Version: 0.83
-Release: 3
+Release: 4
Group: Applications
License: LGPLv2 with exceptions
Source0: https://gforge.inria.fr/frs/download.php/33490/%{name}-%{version}.tar.gz
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/why3.git/commitdiff/91e5445e3799e7a867fab3be33a409c4de33f7f2
More information about the pld-cvs-commit
mailing list