SPECS: spin.spec - up to 4.2.7
baggins
baggins at pld-linux.org
Wed Sep 13 16:48:46 CEST 2006
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
More information about the pld-cvs-commit
mailing list