Bug#955509: buster-pu: package websocket-api/1.1-1

[Markus Koschany <apo@debian.org>]

Package: release.debian.org
Severity: normal
Tags: buster
User: release.debian.org@packages.debian.org
Usertags: pu

Hello,

I would like to fix Debian bug #947844 in Buster which was introduced
by upgrading tomcat8 to version 8.5.50-0+deb9u1 in Stretch. When upgrading
libservlet3.1-java from Stretch to Buster, the upgrade will fail due
to an insufficient Breaks and Replaces relation in src:websocket-api. The
solution is to use << 9 for libservlet3.1-java. It will always be
correct for the remaining release cycle in Stretch because we will
never introduce tomcat9. I have tested the change and can confirm that
the upgrade works flawlessly now.

Please find attached the debdiff.

Regards,

Markus

diff -Nru websocket-api-1.1/debian/changelog websocket-api-1.1/debian/changelog
--- websocket-api-1.1/debian/changelog	2018-12-14 10:26:56.000000000 +0100
+++ websocket-api-1.1/debian/changelog	2020-04-01 21:11:54.000000000 +0200
@@ -1,3 +1,11 @@
+websocket-api (1.1-1+deb10u1) buster; urgency=medium
+
+  * Team upload.
+  * Change Breaks and Replaces for libservlet3.1-java to << 9 and fix dpkg
+    error when upgrading tomcat 8 from Stretch to Buster.
+
+ -- Markus Koschany <apo@debian.org>  Wed, 01 Apr 2020 21:11:54 +0200
+
 websocket-api (1.1-1) unstable; urgency=medium
 
   * Initial release (Closes: #916245)
diff -Nru websocket-api-1.1/debian/control websocket-api-1.1/debian/control
--- websocket-api-1.1/debian/control	2018-12-14 10:26:56.000000000 +0100
+++ websocket-api-1.1/debian/control	2020-04-01 21:11:54.000000000 +0200
@@ -17,8 +17,8 @@
 Architecture: all
 Depends: ${maven:Depends}, ${misc:Depends}
 Suggests: ${maven:OptionalDepends}
-Breaks: libservlet3.1-java (<< 8.5.35-3~)
-Replaces: libservlet3.1-java (<< 8.5.35-3~)
+Breaks: libservlet3.1-java (<< 9)
+Replaces: libservlet3.1-java (<< 9)
 Description: Java WebSocket API
  Java API for WebSocket (JSR-356) defines a standard API for the development
  of websocket applications, both on the server side as well as on the Java