diff options
| author | Jan Rękorajski | 2013-02-21 11:46:36 (GMT) |
|---|---|---|
| committer | Jan Rękorajski | 2013-02-21 11:46:36 (GMT) |
| commit | 848c03f8f6d31e25fa47ec8355d5f8df611199b2 (patch) | |
| tree | 5c78b6b872a1f772e9c8d50071446e8b5d34aed4 | |
| parent | ea148a9bf8e55e947531978bf3b5e75967aa704b (diff) | |
| download | spin-848c03f8f6d31e25fa47ec8355d5f8df611199b2.zip spin-848c03f8f6d31e25fa47ec8355d5f8df611199b2.tar.gz | |
- updated to 6.2.3auto/th/spin-6.2.3-1
| -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.1.0 +Version: 6.2.3 %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: 89c0d322c3a5aded1fda9b0d30327d19 +# Source0-md5: 99b8ad8e996f71e852d87f957fda9ae2 Source1: ispin.desktop URL: http://spinroot.com/spin/whatispin.html BuildRequires: yacc |