Package: release.debian.org Severity: normal User: release.debian....@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 <tmanc...@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 <tmanc...@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+}
signature.asc
Description: PGP signature
