]> git.pld-linux.org Git - packages/NuSMV.git/commitdiff
- ncurses rebuild auto/th/NuSMV-2.5.4-6
authorArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 5 Dec 2015 20:01:46 +0000 (21:01 +0100)
committerArkadiusz Miśkiewicz <arekm@maven.pl>
Sat, 5 Dec 2015 20:01:46 +0000 (21:01 +0100)
- release 6 (by relup.sh)

NuSMV.spec

index a46b79a6cf559e2aef11632f196157a948b82122..7d3796f0eaa3a1e4d572082dd32b7863ff4fea76 100644 (file)
@@ -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
This page took 0.07396 seconds and 4 git commands to generate.