commit 624599d40a4d27e5f77dfd21c6d9bb46ce8ab00d
Author: Arkadiusz Miśkiewicz <[email protected]>
Date: Sat Dec 5 21:01:46 2015 +0100
- ncurses rebuild
- release 6 (by relup.sh)
NuSMV.spec | 2 +-
1 file changed, 1 insertion(+), 1 deletion(-)
---
diff --git a/NuSMV.spec b/NuSMV.spec
index a46b79a..7d3796f 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: 5
+Release: 6
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/624599d40a4d27e5f77dfd21c6d9bb46ce8ab00d
_______________________________________________
pld-cvs-commit mailing list
[email protected]
http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
