From 827b277a87ff4bdd06e26b63cef16ab68fed1523 Mon Sep 17 00:00:00 2001 From: Elan Ruusamäe Date: Mon, 12 Feb 2007 22:09:15 +0000 Subject: - tabs in preamble Changed files: spin.spec -> 1.9 diff --git a/spin.spec b/spin.spec index 6ce82d2..64a4cc0 100644 --- a/spin.spec +++ b/spin.spec @@ -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} -- cgit v0.10.2