[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#861216: marked as done (unblock: spin/6.4.5+dfsg-3)

Your message dated Wed, 26 Apr 2017 07:20:00 +0000
with message-id <35c44abb-8f2e-edde-8d28-2b31302e475b@thykier.net>
and subject line Re: Bug#861216: unblock: spin/6.4.5+dfsg-3
has caused the Debian Bug report #861216,
regarding unblock: spin/6.4.5+dfsg-3
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
861216: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=861216
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: release.debian.org
Severity: normal
User: release.debian.org@packages.debian.org
Usertags: unblock

Please unblock package spin.

Hello Release Team:

The upload spin_6.4.5+dfsg-3 should correctly resolve #861021, a file
conflict with older versions of the staden package.  You will notice
that there was a -2 version that used Breaks without Replaces.

Thank you to Niels for the email correspondence on the topic, and thank
you for your consideration.  Debdiffs are attached.

Cheers,
tony

unblock spin/6.4.5+dfsg-3

diff -Nru spin-6.4.5+dfsg/debian/changelog spin-6.4.5+dfsg/debian/changelog
--- spin-6.4.5+dfsg/debian/changelog	2016-07-05 21:51:10.000000000 -0700
+++ spin-6.4.5+dfsg/debian/changelog	2017-04-25 20:22:12.000000000 -0700
@@ -1,3 +1,15 @@
+spin (6.4.5+dfsg-3) unstable; urgency=medium
+
+  * Add Replaces: for staden (<< 2.0.0+b11) (Closes: #861021)
+
+ -- tony mancill <tmancill@debian.org>  Tue, 25 Apr 2017 20:22:12 -0700
+
+spin (6.4.5+dfsg-2) unstable; urgency=medium
+
+  * Declare Breaks with staden (<< 2.0.0+b11) (Closes: #861021)
+
+ -- tony mancill <tmancill@debian.org>  Mon, 24 Apr 2017 07:59:27 -0700
+
 spin (6.4.5+dfsg-1) unstable; urgency=medium
 
   * Repack source to exclude iSpin
diff -Nru spin-6.4.5+dfsg/debian/control spin-6.4.5+dfsg/debian/control
--- spin-6.4.5+dfsg/debian/control	2016-07-05 21:51:10.000000000 -0700
+++ spin-6.4.5+dfsg/debian/control	2017-04-25 20:22:12.000000000 -0700
@@ -12,6 +12,8 @@
 Package: spin
 Architecture: any
 Depends: ${shlibs:Depends}, ${misc:Depends}
+Breaks: staden (<< 2.0.0+b11)
+Replaces: staden (<< 2.0.0+b11)
 Description: formal software verification tool
  Spin is a popular open-source software verification tool, used by thousands
  of people worldwide. The tool can be used for the formal verification of

[The following lists of changes regard files as different if they have
different names, permissions or owners.]

Files in second .changes but not in first
-----------------------------------------
-rw-r--r--  root/root   /usr/lib/debug/.build-id/e2/9b8c845736db864f93b1d591b05bed13742d2c.debug

Files in first .changes but not in second
-----------------------------------------
-rw-r--r--  root/root   /usr/lib/debug/.build-id/c6/e46c049caccd8a9a55a294cbc638c7535f815a.debug

Control files of package spin: lines which differ (wdiff format)
----------------------------------------------------------------
{+Breaks: staden (<< 2.0.0+b11)+}
{+Replaces: staden (<< 2.0.0+b11)+}
Version: [-6.4.5+dfsg-1-] {+6.4.5+dfsg-3+}

Control files of package spin-dbgsym: lines which differ (wdiff format)
-----------------------------------------------------------------------
Build-Ids: [-c6e46c049caccd8a9a55a294cbc638c7535f815a-] {+e29b8c845736db864f93b1d591b05bed13742d2c+}
Depends: spin (= [-6.4.5+dfsg-1)-] {+6.4.5+dfsg-3)+}
Installed-Size: [-372-] {+381+}
Version: [-6.4.5+dfsg-1-] {+6.4.5+dfsg-3+}

Attachment: signature.asc
Description: PGP signature


--- End Message ---
--- Begin Message --- 
tony mancill:
> Package: release.debian.org
> Severity: normal
> User: release.debian.org@packages.debian.org
> Usertags: unblock
> 
> Please unblock package spin.
> 
> Hello Release Team:
> 
> The upload spin_6.4.5+dfsg-3 should correctly resolve #861021, a file
> conflict with older versions of the staden package.  You will notice
> that there was a -2 version that used Breaks without Replaces.
> 
> Thank you to Niels for the email correspondence on the topic, and thank
> you for your consideration.  Debdiffs are attached.
> 
> Cheers,
> tony
> 
> unblock spin/6.4.5+dfsg-3
> 

Unblocked, thanks.

~Niels

--- End Message ---
Reply to: