diff options
-rw-r--r-- | spin.spec | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,13 +1,13 @@ Summary: On-the-fly, LTL model checking with SPIN Summary(pl.UTF-8): Sprawdzanie modeli LTL w locie przy użyciu SPIN Name: spin -Version: 6.2.3 +Version: 6.2.6 %define _ver %(echo %{version} | tr -d .) Release: 1 License: Spin Public license Group: Development/Tools Source0: http://spinroot.com/spin/Src/%{name}%{_ver}.tar.gz -# Source0-md5: 99b8ad8e996f71e852d87f957fda9ae2 +# Source0-md5: 97dc2592de9eb064cb664cc67bce18d1 Source1: ispin.desktop URL: http://spinroot.com/spin/whatispin.html BuildRequires: yacc |