Version in base suite: 4.4.1-0.4 Version in overlay suite: 4.4.1-1~deb10u1 Base version: z3_4.4.1-0.4 Target version: z3_4.4.1-1~deb10u1 Base files: libz3-4_4.4.1-0.4_mips.deb libz3-dev_4.4.1-0.4_mips.deb libz3-java_4.4.1-0.4_mips.deb libz3-jni_4.4.1-0.4_mips.deb libz3-ocaml-dev_4.4.1-0.4_mips.deb python-z3_4.4.1-0.4_mips.deb z3_4.4.1-0.4_mips.deb Target files: libz3-4-dbgsym_4.4.1-1~deb10u1_mips.deb libz3-4_4.4.1-1~deb10u1_mips.deb libz3-dev_4.4.1-1~deb10u1_mips.deb libz3-java_4.4.1-1~deb10u1_mips.deb libz3-jni-dbgsym_4.4.1-1~deb10u1_mips.deb libz3-jni_4.4.1-1~deb10u1_mips.deb libz3-ocaml-dev-dbgsym_4.4.1-1~deb10u1_mips.deb libz3-ocaml-dev_4.4.1-1~deb10u1_mips.deb python-z3_4.4.1-1~deb10u1_mips.deb z3-dbgsym_4.4.1-1~deb10u1_mips.deb z3_4.4.1-1~deb10u1_mips.deb Warning: these package names were in the second list but not in the first: -------------------------------------------------------------------------- libz3-4-dbgsym libz3-jni-dbgsym libz3-ocaml-dev-dbgsym z3-dbgsym [The following lists of changes regard files as different if they have different names, permissions or owners.] New files in second set of .debs, found in package libz3-4-dbgsym ----------------------------------------------------------------- -rw-r--r-- root/root /usr/lib/debug/.build-id/19/4b8bc58e7ba661b020d360e26cf36f75ef6b37.debug lrwxrwxrwx root/root /usr/share/doc/libz3-4-dbgsym -> libz3-4 New files in second set of .debs, found in package libz3-jni-dbgsym ------------------------------------------------------------------- -rw-r--r-- root/root /usr/lib/debug/.build-id/f3/b18166bb51ea2e469c763e676d992fea8c93db.debug lrwxrwxrwx root/root /usr/share/doc/libz3-jni-dbgsym -> libz3-jni New files in second set of .debs, found in package libz3-ocaml-dev-dbgsym ------------------------------------------------------------------------- -rw-r--r-- root/root /usr/lib/debug/.build-id/08/c4097af203b2dbeef1bbc9dd81c8bf5b0e0cf7.debug lrwxrwxrwx root/root /usr/share/doc/libz3-ocaml-dev-dbgsym -> libz3-ocaml-dev New files in second set of .debs, found in package z3-dbgsym ------------------------------------------------------------ -rw-r--r-- root/root /usr/lib/debug/.build-id/94/631b7ae0a0619f33d8a5d8e2bea4a49efab7a0.debug lrwxrwxrwx root/root /usr/share/doc/z3-dbgsym -> z3 Files moved or copied from at least TWO packages or to at least TWO packages ---------------------------------------------------------------------------- -rw-r--r-- root/root DEBIAN/control From packages: libz3-4, libz3-dev, libz3-java, libz3-jni, libz3-ocaml-dev, python-z3, z3 To packages: libz3-4-dbgsym, libz3-4, libz3-dev, libz3-java, libz3-jni-dbgsym, libz3-jni, libz3-ocaml-dev-dbgsym, libz3-ocaml-dev, python-z3, z3-dbgsym, z3 -rw-r--r-- root/root DEBIAN/md5sums From packages: libz3-4, libz3-dev, libz3-java, libz3-jni, libz3-ocaml-dev, python-z3, z3 To packages: libz3-4-dbgsym, libz3-4, libz3-dev, libz3-java, libz3-jni-dbgsym, libz3-jni, libz3-ocaml-dev-dbgsym, libz3-ocaml-dev, python-z3, z3-dbgsym, z3 -rw-r--r-- root/root DEBIAN/shlibs From packages: libz3-4, libz3-jni To package: libz3-4 -rw-r--r-- root/root DEBIAN/triggers From packages: libz3-4, libz3-jni To package: libz3-4 Control files of package libz3-4: lines which differ (wdiff format) ------------------------------------------------------------------- Installed-Size: [-19735-] {+19869+} Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+} No differences were encountered between the shlibs files of package libz3-4 Triggers files of package libz3-4: lines which differ (wdiff format) -------------------------------------------------------------------- # Triggers added by [-dh_makeshlibs/11.3.5-] {+dh_makeshlibs/12.1.1+} Control files of package libz3-dev: lines which differ (wdiff format) --------------------------------------------------------------------- Depends: libz3-4 (= [-4.4.1-0.4)-] {+4.4.1-1~deb10u1)+} Installed-Size: [-454-] {+455+} Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+} Control files of package libz3-java: lines which differ (wdiff format) ---------------------------------------------------------------------- Depends: libz3-jni (>= [-4.4.1-0.4),-] {+4.4.1-1~deb10u1),+} libz3-jni (<< [-4.4.1-0.4.1~),-] {+4.4.1-1~deb10u1.1~),+} libz3-dev Installed-Size: [-166-] {+167+} Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+} No differences were encountered between the preinst files of package libz3-java Control files of package libz3-jni: lines which differ (wdiff format) --------------------------------------------------------------------- Depends: libz3-dev (= [-4.4.1-0.4),-] {+4.4.1-1~deb10u1),+} libc6 (>= 2.4), libgcc1 (>= 1:3.0), libstdc++6 (>= 4.9), libz3-4 Installed-Size: [-220-] {+218+} Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+} No differences were encountered between the preinst files of package libz3-jni Control files of package libz3-ocaml-dev: lines which differ (wdiff format) --------------------------------------------------------------------------- Depends: libz3-dev (= [-4.4.1-0.4),-] {+4.4.1-1~deb10u1),+} ocaml-nox-4.05.0, libc6 (>= 2.4), libz3-4 Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+} No differences were encountered between the preinst files of package libz3-ocaml-dev Control files of package python-z3: lines which differ (wdiff format) --------------------------------------------------------------------- Depends: libz3-dev (= [-4.4.1-0.4),-] {+4.4.1-1~deb10u1),+} python:any (<< 2.8), python:any (>= 2.7~) Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+} No differences were encountered between the postinst files of package python-z3 No differences were encountered between the preinst files of package python-z3 No differences were encountered between the prerm files of package python-z3 Control files of package z3: lines which differ (wdiff format) -------------------------------------------------------------- Installed-Size: [-19823-] {+19949+} Maintainer: [-Michael Tautschnig -] {+LLVM Packaging Team +} Priority: [-extra-] {+optional+} Version: [-4.4.1-0.4-] {+4.4.1-1~deb10u1+}