SPECS: spin.spec - up to 4.2.7

[baggins]

Author: baggins                      Date: Wed Sep 13 14:48:46 2006 GMT
Module: SPECS                         Tag: HEAD
---- Log message:
- up to 4.2.7

---- Files affected:
SPECS:
   spin.spec (1.6 -> 1.7) 

---- Diffs:

================================================================
Index: SPECS/spin.spec
diff -u SPECS/spin.spec:1.6 SPECS/spin.spec:1.7
--- SPECS/spin.spec:1.6	Sun Jun 26 20:31:24 2005
+++ SPECS/spin.spec	Wed Sep 13 16:48:41 2006
@@ -2,12 +2,12 @@
 Summary:	On-the-fly, LTL model checking with SPIN
 Summary(pl):	Sprawdzanie modeli LTL w locie przy użyciu SPIN
 Name:		spin
-Version:	4.1.3
+Version:	4.2.7
 Release:	0.1
 License:	Spin Public license
 Group:		Development/Tools
-Source0:	http://spinroot.com/spin/Src/%{name}413.tar.gz
-# Source0-md5:	129c26d6629c1ccf24e9cef14564f281
+Source0:	http://spinroot.com/spin/Src/%{name}427.tar.gz
+# Source0-md5:	a4fc8c6a30b7746a2d7acb2cf262ec97
 URL:		http://spinroot.com/spin/whatispin.html
 Patch0:		%{name}-use_bison.patch
 BuildRequires:	bison
@@ -88,6 +88,9 @@
 All persons listed below can be reached at <cvs_login>@pld-linux.org
 
 $Log$
+Revision 1.7  2006/09/13 14:48:41  baggins
+- up to 4.2.7
+
 Revision 1.6  2005/06/26 18:31:24  darekr
 - added -use_bison patch
 
================================================================

---- CVS-web:
    http://cvs.pld-linux.org/SPECS/spin.spec?r1=1.6&r2=1.7&f=u