- converted to UTF-8

Changed files:
    NuSMV.spec -> 1.3

diff --git a/NuSMV.spec b/NuSMV.spec
index 9a7b1db4a352b0681cf518932ebc37067f9c4600..8efc53de720808f5971761947e511861bfab561c 100644 (file)
--- a/NuSMV.spec
+++ b/NuSMV.spec
@@ -4,7 +4,7 @@
 #      - update all BRs
 #
 Summary:       New Symbolic Model Verifier
-Summary(pl):   Nowy weryfikator modeli symbolicznych
+Summary(pl.UTF-8):   Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
 Version:       2.4.0
 Release:       0.1
@@ -42,42 +42,42 @@ SAT-based model checking component that includes an RBC-based Bounded
 Model Checker, connected to the SIM SAT library developed by the
 University of Genova.
 
-%description -l pl
+%description -l pl.UTF-8
 NuSVM to reimplementacja i rozszerzenie SMV - pierwszego weryfikatora
-modeli opartego na BDD. NuSMV zosta³ zaprojektowany w otwartej
-architekturze sprawdzania modeli, przez co mo¿e byæ niezawodnie
-u¿ywany do weryfikacji projektów przemys³owych, jako podstawa w³asnych
-narzêdzi weryfikuj±cych, jako poligon dla technik weryfikacji
-formalnej oraz stosowany w innych obszarach badañ.
-
-NuSMV2 ³±czy komponent sprawdzaj±cy modele oparty na BDD,
-wykorzystuj±cy bibliotekê CUDD stworzon± przez Fabio Somenziniego w
-Colorado University i komponent sprawdzaj±cy modele oparty na SAT
-zawieraj±cy weryfikator modeli ograniczonych oparty na RBC, po³±czony
-z bibliotek± SIM SAT stworzon± przez University of Genova.
+modeli opartego na BDD. NuSMV został zaprojektowany w otwartej
+architekturze sprawdzania modeli, przez co może być niezawodnie
+używany do weryfikacji projektów przemysłowych, jako podstawa własnych
+narzędzi weryfikujących, jako poligon dla technik weryfikacji
+formalnej oraz stosowany w innych obszarach badań.
+
+NuSMV2 łączy komponent sprawdzający modele oparty na BDD,
+wykorzystujący bibliotekę CUDD stworzoną przez Fabio Somenziniego w
+Colorado University i komponent sprawdzający modele oparty na SAT
+zawierający weryfikator modeli ograniczonych oparty na RBC, połączony
+z biblioteką SIM SAT stworzoną przez University of Genova.
 
 %package devel
 Summary:       Header files for NuSMV
-Summary(pl):   Pliki nag³ówkowe NuSMV
+Summary(pl.UTF-8):   Pliki nagłówkowe NuSMV
 Group:         Development/Libraries
 Requires:      %{name} = %{version}-%{release}
 
 %description devel
 This is the package containing the header files for NuSMV.
 
-%description devel -l pl
-Ten pakiet zawiera pliki nag³ówkowe NuSMV.
+%description devel -l pl.UTF-8
+Ten pakiet zawiera pliki nagłówkowe NuSMV.
 
 %package static
 Summary:       Static NuSMV library
-Summary(pl):   Statyczna biblioteka NuSMV
+Summary(pl.UTF-8):   Statyczna biblioteka NuSMV
 Group:         Development/Libraries
 Requires:      %{name}-devel = %{version}-%{release}
 
 %description static
 Static NuSMV library.
 
-%description static -l pl
+%description static -l pl.UTF-8
 Statyczna biblioteka NuSMV.
 
 %prep