Author: baggins Date: Wed Feb 10 12:09:12 2010 GMT Module: packages Tag: HEAD ---- Log message: - up to 5.2.4
---- Files affected: packages/spin: spin.spec (1.10 -> 1.11) ---- Diffs: ================================================================ Index: packages/spin/spin.spec diff -u packages/spin/spin.spec:1.10 packages/spin/spin.spec:1.11 --- packages/spin/spin.spec:1.10 Mon Feb 16 11:18:12 2009 +++ packages/spin/spin.spec Wed Feb 10 13:09:06 2010 @@ -2,12 +2,14 @@ Summary: On-the-fly, LTL model checking with SPIN Summary(pl.UTF-8): Sprawdzanie modeli LTL w locie przy użyciu SPIN Name: spin -Version: 5.1.7 -Release: 0.1 +Version: 5.2.4 +Release: 1 License: Spin Public license Group: Development/Tools -Source0: http://spinroot.com/spin/Src/%{name}517.tar.gz -# Source0-md5: 2d069adc30e318b1ba71bdecc1721d97 +Source0: http://spinroot.com/spin/Src/%{name}524.tar.gz +# Source0-md5: c869e7bd83c70be6565cf77c6a98b72c +Source1: http://spinroot.com/spin/Src/xspin523.tcl +# Source1-md5: 893eb05798802cea4f281daaf34ce190 URL: http://spinroot.com/spin/whatispin.html BuildRequires: yacc Requires: tcl @@ -63,7 +65,7 @@ cp -a Spin/Test/* $RPM_BUILD_ROOT%{_datadir}/%{name} echo "#!/usr/bin/wish -f" > $RPM_BUILD_ROOT%{_bindir}/xspin -tail -n $(expr `cat Spin/Xspin*/xspin*.tcl | wc -l` - 3) Spin/Xspin*/xspin*.tcl >> $RPM_BUILD_ROOT%{_bindir}/xspin +tail -n $(expr `cat %{SOURCE1} | wc -l` - 3) %{SOURCE1} >> $RPM_BUILD_ROOT%{_bindir}/xspin %clean rm -rf $RPM_BUILD_ROOT @@ -85,6 +87,9 @@ All persons listed below can be reached at <cvs_login>@pld-linux.org $Log$ +Revision 1.11 2010/02/10 12:09:06 baggins +- up to 5.2.4 + Revision 1.10 2009/02/16 10:18:12 baggins - up to 5.1.7 - dropped bison patch, BR yacc ================================================================ ---- CVS-web: http://cvs.pld-linux.org/cgi-bin/cvsweb.cgi/packages/spin/spin.spec?r1=1.10&r2=1.11&f=u _______________________________________________ pld-cvs-commit mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-cvs-commit
