diff options
author | Jan Rękorajski | 2014-02-20 21:21:58 (GMT) |
---|---|---|
committer | Jan Rękorajski | 2014-02-20 21:21:58 (GMT) |
commit | 29319104e2646a42f0104997d7944727abe7644b (patch) | |
tree | aa29271f75bab94491f7dcb5ad9cd7a2a8ea9641 | |
parent | 848c03f8f6d31e25fa47ec8355d5f8df611199b2 (diff) | |
download | spin-29319104e2646a42f0104997d7944727abe7644b.zip spin-29319104e2646a42f0104997d7944727abe7644b.tar.gz |
- up to 6.2.6HEADauto/th/spin-6.2.6-1master
-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 |