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 _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
