--- /srv/rebuilderd/tmp/rebuilderdAWs2PV/inputs/libcvc5-1_1.3.2-1+b1_i386.deb
+++ /srv/rebuilderd/tmp/rebuilderdAWs2PV/out/libcvc5-1_1.3.2-1+b1_i386.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-04-23 15:47:02.000000 debian-binary
│  -rw-r--r--   0        0        0     1304 2026-04-23 15:47:02.000000 control.tar.xz
│ --rw-r--r--   0        0        0  8380772 2026-04-23 15:47:02.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  8378864 2026-04-23 15:47:02.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/i386-linux-gnu/libcvc5.so.1
│ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied.
│ │ │ ├── readelf --wide --notes {}
│ │ │ │ @@ -1,4 +1,4 @@
│ │ │ │  
│ │ │ │  Displaying notes found in: .note.gnu.build-id
│ │ │ │    Owner                Data size 	Description
│ │ │ │ -  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: ec3d7397071e7d1eae8e5766763327d944a27243
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: bfa4525f858a44b0e490a087d326de6054a1270e
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -917553,19 +917553,19 @@
│ │ │ │  	movl   $0x7a,-0x2c34(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2c14(%ebp),%eax
│ │ │ │  	lea    -0x3c9127(%esi),%edx
│ │ │ │  	movl   $0x7b,-0x2c18(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2bf8(%ebp),%eax
│ │ │ │ -	lea    -0x3d5cfa(%esi),%edx
│ │ │ │ +	lea    -0x3d6003(%esi),%edx
│ │ │ │  	movl   $0x7c,-0x2bfc(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2bdc(%ebp),%eax
│ │ │ │ -	lea    -0x3d6003(%esi),%edx
│ │ │ │ +	lea    -0x3d5cfa(%esi),%edx
│ │ │ │  	movl   $0x7d,-0x2be0(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2bc0(%ebp),%eax
│ │ │ │  	lea    -0x3ca5c7(%esi),%edx
│ │ │ │  	movl   $0x7d,-0x2bc4(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2ba4(%ebp),%eax
│ │ │ │ @@ -917809,19 +917809,19 @@
│ │ │ │  	movl   $0xb9,-0x2534(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2514(%ebp),%eax
│ │ │ │  	lea    -0x3ca4eb(%esi),%edx
│ │ │ │  	movl   $0xba,-0x2518(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x24f8(%ebp),%eax
│ │ │ │ -	lea    -0x3ca4dd(%esi),%edx
│ │ │ │ +	lea    -0x3ca374(%esi),%edx
│ │ │ │  	movl   $0xbb,-0x24fc(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x24dc(%ebp),%eax
│ │ │ │ -	lea    -0x3ca374(%esi),%edx
│ │ │ │ +	lea    -0x3ca4dd(%esi),%edx
│ │ │ │  	movl   $0xbc,-0x24e0(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x24c0(%ebp),%eax
│ │ │ │  	lea    -0x3c8973(%esi),%edx
│ │ │ │  	movl   $0xbc,-0x24c4(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x24a4(%ebp),%eax
│ │ │ │ @@ -918065,31 +918065,31 @@
│ │ │ │  	movl   $0xf8,-0x1e34(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1e14(%ebp),%eax
│ │ │ │  	lea    -0x3c8ec2(%esi),%edx
│ │ │ │  	movl   $0xf9,-0x1e18(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1df8(%ebp),%eax
│ │ │ │ -	lea    -0x3d5fe9(%esi),%edx
│ │ │ │ +	lea    -0x3c9d54(%esi),%edx
│ │ │ │  	movl   $0xfa,-0x1dfc(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1ddc(%ebp),%eax
│ │ │ │ -	lea    -0x3c9d54(%esi),%edx
│ │ │ │ +	lea    -0x3d5fe9(%esi),%edx
│ │ │ │  	movl   $0xfb,-0x1de0(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1dc0(%ebp),%eax
│ │ │ │  	lea    -0x3ca382(%esi),%edx
│ │ │ │  	movl   $0xfb,-0x1dc4(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1da4(%ebp),%eax
│ │ │ │ -	lea    -0x3d1974(%esi),%edx
│ │ │ │ +	lea    -0x3ca37b(%esi),%edx
│ │ │ │  	movl   $0xfc,-0x1da8(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d88(%ebp),%eax
│ │ │ │ -	lea    -0x3ca37b(%esi),%edx
│ │ │ │ +	lea    -0x3d1974(%esi),%edx
│ │ │ │  	movl   $0xfd,-0x1d8c(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d6c(%ebp),%eax
│ │ │ │  	lea    -0x3c9997(%esi),%edx
│ │ │ │  	movl   $0xfd,-0x1d70(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d50(%ebp),%eax
│ │ │ │ @@ -918101,19 +918101,19 @@
│ │ │ │  	movl   $0xff,-0x1d38(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d18(%ebp),%eax
│ │ │ │  	lea    -0x3c8eb7(%esi),%edx
│ │ │ │  	movl   $0x100,-0x1d1c(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1cfc(%ebp),%eax
│ │ │ │ -	lea    -0x3ca362(%esi),%edx
│ │ │ │ +	lea    -0x3d3a25(%esi),%edx
│ │ │ │  	movl   $0x101,-0x1d00(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1ce0(%ebp),%eax
│ │ │ │ -	lea    -0x3d3a25(%esi),%edx
│ │ │ │ +	lea    -0x3ca362(%esi),%edx
│ │ │ │  	movl   $0x102,-0x1ce4(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1cc4(%ebp),%eax
│ │ │ │  	lea    -0x3ca352(%esi),%edx
│ │ │ │  	movl   $0x102,-0x1cc8(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1ca8(%ebp),%eax
│ │ │ │ @@ -918465,19 +918465,19 @@
│ │ │ │  	movl   $0x156,-0x1344(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1324(%ebp),%eax
│ │ │ │  	lea    -0x3ca12e(%esi),%edx
│ │ │ │  	movl   $0x157,-0x1328(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1308(%ebp),%eax
│ │ │ │ -	lea    -0x3d5fd2(%esi),%edx
│ │ │ │ +	lea    -0x3ca127(%esi),%edx
│ │ │ │  	movl   $0x158,-0x130c(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x12ec(%ebp),%eax
│ │ │ │ -	lea    -0x3ca127(%esi),%edx
│ │ │ │ +	lea    -0x3d5fd2(%esi),%edx
│ │ │ │  	movl   $0x159,-0x12f0(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x12d0(%ebp),%eax
│ │ │ │  	lea    -0x3ca11c(%esi),%edx
│ │ │ │  	movl   $0x159,-0x12d4(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x12b4(%ebp),%eax
│ │ │ │ @@ -918565,19 +918565,19 @@
│ │ │ │  	movl   $0x16d,-0x1088(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1068(%ebp),%eax
│ │ │ │  	lea    -0x3ca0d5(%esi),%edx
│ │ │ │  	movl   $0x16e,-0x106c(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x104c(%ebp),%eax
│ │ │ │ -	lea    -0x3d220d(%esi),%edx
│ │ │ │ +	lea    -0x3ca0c0(%esi),%edx
│ │ │ │  	movl   $0x16f,-0x1050(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1030(%ebp),%eax
│ │ │ │ -	lea    -0x3ca0c0(%esi),%edx
│ │ │ │ +	lea    -0x3d220d(%esi),%edx
│ │ │ │  	movl   $0x170,-0x1034(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1014(%ebp),%eax
│ │ │ │  	lea    -0x3c87da(%esi),%edx
│ │ │ │  	movl   $0x170,-0x1018(%ebp)
│ │ │ │  	call   17fd080 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0xff8(%ebp),%eax
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	mov    %ecx,(%eax)
│ │ │ │  	mov    %edx,%eax
│ │ │ │  	shr    $0x8,%eax
│ │ │ │  	and    $0xfffff,%eax
│ │ │ │  	cmp    $0xffffd,%eax
│ │ │ │  	ja     f263b4 <void std::vector<int, std::allocator<int> >::_M_realloc_append<int const&>(int const&)@@Base+0x73af4>
│ │ │ │  	add    $0x1,%eax
│ │ │ │ -[ Too much input for diff (SHA256: df966885ed5a3a33ea269962127afb25b1a9370f355ac73ccdef6e3652a0d85d) ]
│ │ │ │ +[ Too much input for diff (SHA256: e13496eac9fdfe2a7b8380d8f1fd06150ebed42fb61549b3f2b9cb7768b230f3) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 33643733 39373037 31653764 31656165 3d7397071e7d1eae
│ │ │ │ -  0x00000010 38653537 36363736 33333237 64393434 8e5766763327d944
│ │ │ │ -  0x00000020 61323732 34332e64 65627567 00000000 a27243.debug....
│ │ │ │ -  0x00000030 65adb8c6                            e...
│ │ │ │ +  0x00000000 61343532 35663835 38613434 62306534 a4525f858a44b0e4
│ │ │ │ +  0x00000010 39306130 38376433 32366465 36303534 90a087d326de6054
│ │ │ │ +  0x00000020 61313237 30652e64 65627567 00000000 a1270e.debug....
│ │ │ │ +  0x00000030 bd749c4b                            .t.K