[packages/NuSMV] - rebuild with readline 7.0 - release 9 (by relup.sh)
baggins
baggins at pld-linux.org
Tue Oct 18 08:05:00 CEST 2016
commit d3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04
Author: Jan Rękorajski <baggins at pld-linux.org>
Date: Tue Oct 18 08:04:56 2016 +0200
- rebuild with readline 7.0
- release 9 (by relup.sh)
NuSMV.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/NuSMV.spec b/NuSMV.spec
index b8e4e81..4fb6a9c 100644
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -9,7 +9,7 @@ Summary: New Symbolic Model Verifier
Summary(pl.UTF-8): Nowy weryfikator modeli symbolicznych
Name: NuSMV
Version: 2.5.4
-Release: 8
+Release: 9
License: LGPL
Group: Applications
Source0: http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
================================================================
---- gitweb:
http://git.pld-linux.org/gitweb.cgi/packages/NuSMV.git/commitdiff/d3b6f1605b18dc50e2bf7765a4b0ea6bcef48a04
More information about the pld-cvs-commit
mailing list