]> git.pld-linux.org Git - packages/NuSMV.git/commitdiff
- tabs in preamble
authorElan Ruusamäe <glen@pld-linux.org>
Mon, 12 Feb 2007 22:09:09 +0000 (22:09 +0000)
committercvs2git <feedback@pld-linux.org>
Sun, 24 Jun 2012 12:13:13 +0000 (12:13 +0000)
Changed files:
    NuSMV.spec -> 1.4

NuSMV.spec

index 8efc53de720808f5971761947e511861bfab561c..df7bd4aac12a2701ffa00e1399a0515da6e11422 100644 (file)
@@ -4,7 +4,7 @@
 #      - update all BRs
 #
 Summary:       New Symbolic Model Verifier
-Summary(pl.UTF-8):   Nowy weryfikator modeli symbolicznych
+Summary(pl.UTF-8):     Nowy weryfikator modeli symbolicznych
 Name:          NuSMV
 Version:       2.4.0
 Release:       0.1
@@ -58,7 +58,7 @@ z biblioteką SIM SAT stworzoną przez University of Genova.
 
 %package devel
 Summary:       Header files for NuSMV
-Summary(pl.UTF-8):   Pliki nagłówkowe NuSMV
+Summary(pl.UTF-8):     Pliki nagłówkowe NuSMV
 Group:         Development/Libraries
 Requires:      %{name} = %{version}-%{release}
 
@@ -70,7 +70,7 @@ Ten pakiet zawiera pliki nagłówkowe NuSMV.
 
 %package static
 Summary:       Static NuSMV library
-Summary(pl.UTF-8):   Statyczna biblioteka NuSMV
+Summary(pl.UTF-8):     Statyczna biblioteka NuSMV
 Group:         Development/Libraries
 Requires:      %{name}-devel = %{version}-%{release}
 
This page took 0.088661 seconds and 4 git commands to generate.