diff options
| author | Elan Ruusamäe | 2007-02-12 22:09:15 (GMT) |
|---|---|---|
| committer | cvs2git | 2012-06-24 12:13:13 (GMT) |
| commit | 827b277a87ff4bdd06e26b63cef16ab68fed1523 (patch) | |
| tree | 0469298b34ba9a857ea96b834badded9d76142ea | |
| parent | fbec87baa66425bde281a7b500c69d2fab6c475f (diff) | |
| download | spin-827b277a87ff4bdd06e26b63cef16ab68fed1523.zip spin-827b277a87ff4bdd06e26b63cef16ab68fed1523.tar.gz | |
- tabs in preamble
Changed files:
spin.spec -> 1.9
| -rw-r--r-- | spin.spec | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -1,5 +1,5 @@ Summary: On-the-fly, LTL model checking with SPIN -Summary(pl.UTF-8): Sprawdzanie modeli LTL w locie przy użyciu SPIN +Summary(pl.UTF-8): Sprawdzanie modeli LTL w locie przy użyciu SPIN Name: spin Version: 4.2.7 Release: 0.1 @@ -37,7 +37,7 @@ http://cm.bell-labs.com/cm/cs/what/spin/spin_license.html %package xspin Summary: Graphical user interface to Spin -Summary(pl.UTF-8): Graficzny interfejs użytkownika do Spina +Summary(pl.UTF-8): Graficzny interfejs użytkownika do Spina Group: Development/Tools Requires: %{name} = %{version}-%{release} |