--- /srv/rebuilderd/tmp/rebuilderd0Fu1CD/inputs/libcvc5-1_1.3.2-1+b1_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderd0Fu1CD/out/libcvc5-1_1.3.2-1+b1_amd64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-04-23 15:33:38.000000 debian-binary
│  -rw-r--r--   0        0        0     1312 2026-04-23 15:33:38.000000 control.tar.xz
│ --rw-r--r--   0        0        0  7739504 2026-04-23 15:33:38.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  7741912 2026-04-23 15:33:38.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/x86_64-linux-gnu/libcvc5.so.1
│ │ │ ├── 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: 7366075ad5f30a65cfe9969f73589d46be1343ba
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 97180f3c9d4d24a89fa0ea461e30ae2116e51754
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -587969,19 +587969,19 @@
│ │ │ │  	movl   $0x55,0xd88(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0xdb8(%rsp),%rdi
│ │ │ │  	lea    0x16482db(%rip),%rsi        
│ │ │ │  	movl   $0x56,0xdb0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0xde0(%rsp),%rdi
│ │ │ │ -	lea    0x164dbe5(%rip),%rsi        
│ │ │ │ +	lea    0x1646649(%rip),%rsi        
│ │ │ │  	movl   $0x57,0xdd8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0xe08(%rsp),%rdi
│ │ │ │ -	lea    0x164662a(%rip),%rsi        
│ │ │ │ +	lea    0x164dbc6(%rip),%rsi        
│ │ │ │  	movl   $0x58,0xe00(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0xe30(%rsp),%rdi
│ │ │ │  	lea    0x163ecde(%rip),%rsi        
│ │ │ │  	movl   $0x58,0xe28(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0xe58(%rsp),%rdi
│ │ │ │ @@ -588645,19 +588645,19 @@
│ │ │ │  	movl   $0xfb,0x27f0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2820(%rsp),%rdi
│ │ │ │  	lea    0x16454a6(%rip),%rsi        
│ │ │ │  	movl   $0xfb,0x2818(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2848(%rsp),%rdi
│ │ │ │ -	lea    0x163deb3(%rip),%rsi        
│ │ │ │ +	lea    0x164548e(%rip),%rsi        
│ │ │ │  	movl   $0xfc,0x2840(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2870(%rsp),%rdi
│ │ │ │ -	lea    0x164546f(%rip),%rsi        
│ │ │ │ +	lea    0x163de94(%rip),%rsi        
│ │ │ │  	movl   $0xfd,0x2868(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2898(%rsp),%rdi
│ │ │ │  	lea    0x1645e34(%rip),%rsi        
│ │ │ │  	movl   $0xfd,0x2890(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x28c0(%rsp),%rdi
│ │ │ │ @@ -588669,19 +588669,19 @@
│ │ │ │  	movl   $0xff,0x28e0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2910(%rsp),%rdi
│ │ │ │  	lea    0x16468b7(%rip),%rsi        
│ │ │ │  	movl   $0x100,0x2908(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2938(%rsp),%rdi
│ │ │ │ -	lea    0x16453ed(%rip),%rsi        
│ │ │ │ +	lea    0x163bd48(%rip),%rsi        
│ │ │ │  	movl   $0x101,0x2930(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2960(%rsp),%rdi
│ │ │ │ -	lea    0x163bd29(%rip),%rsi        
│ │ │ │ +	lea    0x16453ce(%rip),%rsi        
│ │ │ │  	movl   $0x102,0x2958(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2988(%rsp),%rdi
│ │ │ │  	lea    0x16453bf(%rip),%rsi        
│ │ │ │  	movl   $0x102,0x2980(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x29b0(%rsp),%rdi
│ │ │ │ @@ -589069,19 +589069,19 @@
│ │ │ │  	movl   $0x15e,0x3880(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x38b0(%rsp),%rdi
│ │ │ │  	lea    0x16450dd(%rip),%rsi        
│ │ │ │  	movl   $0x15f,0x38a8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x38d8(%rsp),%rdi
│ │ │ │ -	lea    0x1644a2c(%rip),%rsi        
│ │ │ │ +	lea    0x164c563(%rip),%rsi        
│ │ │ │  	movl   $0x160,0x38d0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x3900(%rsp),%rdi
│ │ │ │ -	lea    0x164c544(%rip),%rsi        
│ │ │ │ +	lea    0x1644a0d(%rip),%rsi        
│ │ │ │  	movl   $0x161,0x38f8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x3928(%rsp),%rdi
│ │ │ │  	lea    0x16454d7(%rip),%rsi        
│ │ │ │  	movl   $0x161,0x3920(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x3950(%rsp),%rdi
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	mov    %rbp,%rdi
│ │ │ │  	call   a2a20 <operator delete(void*, unsigned long)@plt>
│ │ │ │  	mov    0x8e0(%rbx),%rdi
│ │ │ │  	mov    0x4(%rdi),%eax
│ │ │ │  	mov    %eax,%edx
│ │ │ │  	not    %edx
│ │ │ │  	and    $0xfffff00,%edx
│ │ │ │ -[ Too much input for diff (SHA256: 9a4f7c5462d9f1958270ee4d96093ad31b92766a59aa7aa821a65ff34b2d6ba3) ]
│ │ │ │ +[ Too much input for diff (SHA256: e83ac3b5e29695b5f46094ac7d8016419441ad86a7f47d73140ce418ed1893d6) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 36363037 35616435 66333061 36356366 66075ad5f30a65cf
│ │ │ │ -  0x00000010 65393936 39663733 35383964 34366265 e9969f73589d46be
│ │ │ │ -  0x00000020 31333433 62612e64 65627567 00000000 1343ba.debug....
│ │ │ │ -  0x00000030 64aff79f                            d...
│ │ │ │ +  0x00000000 31383066 33633964 34643234 61383966 180f3c9d4d24a89f
│ │ │ │ +  0x00000010 61306561 34363165 33306165 32313136 a0ea461e30ae2116
│ │ │ │ +  0x00000020 65353137 35342e64 65627567 00000000 e51754.debug....
│ │ │ │ +  0x00000030 2a2dd6cf                            *-..