diffstat for z3-4.13.3 z3-4.13.3

 changelog |    8 ++++++++
 control   |    1 -
 2 files changed, 8 insertions(+), 1 deletion(-)

diff -Nru z3-4.13.3/debian/changelog z3-4.13.3/debian/changelog
--- z3-4.13.3/debian/changelog	2024-11-04 23:19:18.000000000 +0200
+++ z3-4.13.3/debian/changelog	2026-05-04 15:38:14.000000000 +0300
@@ -1,3 +1,11 @@
+z3 (4.13.3-1.1) unstable; urgency=medium
+
+  * Non-maintainer upload.
+  * python3-z3: Remove the stale dependency on python3-pkg-resources.
+    (Closes: #1084002)
+
+ -- Adrian Bunk <bunk@debian.org>  Mon, 04 May 2026 15:38:14 +0300
+
 z3 (4.13.3-1) unstable; urgency=medium
 
   * Non-maintainer upload.
diff -Nru z3-4.13.3/debian/control z3-4.13.3/debian/control
--- z3-4.13.3/debian/control	2024-11-04 23:19:18.000000000 +0200
+++ z3-4.13.3/debian/control	2026-05-04 15:38:14.000000000 +0300
@@ -64,7 +64,6 @@
 Build-Profiles: <!nopython>
 Pre-Depends: ${misc:Pre-Depends}
 Depends: libz3-dev (= ${binary:Version}),
-         python3-pkg-resources,
          ${misc:Depends},
          ${python3:Depends},
          ${shlibs:Depends}