[packages/NuSMV] - ncurses rebuild - release 6 (by relup.sh)

arekm arekm at pld-linux.org
Sat Dec 5 21:01:50 CET 2015


commit 624599d40a4d27e5f77dfd21c6d9bb46ce8ab00d
Author: Arkadiusz Miśkiewicz <arekm at maven.pl>
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



More information about the pld-cvs-commit mailing list