]> git.pld-linux.org Git - packages/NuSMV.git/commitdiff
- rebuild with expat 2.1.0 auto/th/NuSMV-2.5.4-2
authorJan Rękorajski <baggins@pld-linux.org>
Sun, 11 Nov 2012 22:58:33 +0000 (23:58 +0100)
committerJan Rękorajski <baggins@pld-linux.org>
Sun, 11 Nov 2012 22:58:33 +0000 (23:58 +0100)
- release 2 (by relup.sh)

NuSMV.spec

index 723f5883c40f32fe0f133ff641f18b6e33f2a586..2fa8b68f7a77b7accd3cc1cb42b4176a3085e112 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:       1
+Release:       2
 License:       LGPL
 Group:         Applications
 Source0:       http://nusmv.irst.itc.it/distrib/%{name}-%{version}.tar.gz
This page took 0.1001 seconds and 4 git commands to generate.