Thank you for the patch, it was handy. I've just sent the corrected version. BTW what is the stripping policy in opensuse? I thought the binary could be stripped unless it is in a "debug" package... Radomír Černoch On Sun, Feb 1, 2009 at 10:39 AM, Petr Uzel <petr.uzel@suse.cz> wrote:

On Sun, Feb 01, 2009 at 10:27:28AM +0000, hermes@opensuse.org wrote:

...

State of submit-request #5936 was changed by puzel:

new -> declined

Comment:

please do not strip the binary, add Url tag, remove redundant Provides tag

Note that explicit striping of binaries is not allowed - don't worry about that 'unstripped binaries' warning.

Please consider applying following patch to your specfile:

===============================================================================

--- ./spin.spec.orig 2009-02-01 11:22:34.000000000 +0100 +++ ./spin.spec 2009-02-01 11:27:10.000000000 +0100 @@ -1,5 +1,5 @@ # -# spec file for package ipe +# spec file for package spin # # Copyright (c) 2008 SUSE LINUX Products GmbH, Nuernberg, Germany. # @@ -23,10 +23,10 @@ License: Unlicenced Source: spin517.tar.bz2 Group: Productivity/Scientific/Math -Summary: ON-THE-FLY, LTL MODEL CHECKING with SPIN +Summary: On-the-fly, LTL model checking with Spin +Url: http://spinroot.com/spin/whatispin.html Patch: setup.diff

-Provides: spin = %{version} BuildRoot: %{_tmppath}/%{name}-%{version}-build

Requires: gcc @@ -61,7 +61,6 @@ %build cd Src%{version} make CFLAGS="$RPM_OPT_FLAGS" -strip spin

%install mkdir -p $RPM_BUILD_ROOT/usr/bin

===============================================================================

-- Best regards / s pozdravem

Petr Uzel, Packages maintainer --------------------------------------------------------------------- SUSE LINUX, s.r.o. e-mail: puzel@suse.cz Lihovarská 1060/12 tel: +420 284 028 964 190 00 Prague 9 fax: +420 284 028 951 Czech Republic http://www.suse.cz

-- To unsubscribe, e-mail: opensuse-contrib+unsubscribe@opensuse.org For additional commands, e-mail: opensuse-contrib+help@opensuse.org