--- /srv/rebuilderd/tmp/rebuilderdRCkUBJ/inputs/libcvc5-1_1.3.2-1+b1_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderdRCkUBJ/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     1316 2026-04-23 15:33:38.000000 control.tar.xz
│ +-rw-r--r--   0        0        0  7741332 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: 62f8b807ab2fc0ca1dadc7928f77aa129e5174b7
│ │ │ ├── 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
│ │ │ │ @@ -588121,19 +588121,19 @@
│ │ │ │  	movl   $0x7a,0x1378(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x13a8(%rsp),%rdi
│ │ │ │  	lea    0x16476de(%rip),%rsi        
│ │ │ │  	movl   $0x7b,0x13a0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x13d0(%rsp),%rdi
│ │ │ │ -	lea    0x163a7fb(%rip),%rsi        
│ │ │ │ +	lea    0x163aafb(%rip),%rsi        
│ │ │ │  	movl   $0x7c,0x13c8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x13f8(%rsp),%rdi
│ │ │ │ -	lea    0x163aadc(%rip),%rsi        
│ │ │ │ +	lea    0x163a7dc(%rip),%rsi        
│ │ │ │  	movl   $0x7d,0x13f0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x1420(%rsp),%rdi
│ │ │ │  	lea    0x16461e1(%rip),%rsi        
│ │ │ │  	movl   $0x7d,0x1418(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x1448(%rsp),%rdi
│ │ │ │ @@ -588633,19 +588633,19 @@
│ │ │ │  	movl   $0xf8,0x2778(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x27a8(%rsp),%rdi
│ │ │ │  	lea    0x16469c3(%rip),%rsi        
│ │ │ │  	movl   $0xf9,0x27a0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x27d0(%rsp),%rdi
│ │ │ │ -	lea    0x1639895(%rip),%rsi        
│ │ │ │ +	lea    0x1645afe(%rip),%rsi        
│ │ │ │  	movl   $0xfa,0x27c8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x27f8(%rsp),%rdi
│ │ │ │ -	lea    0x1645adf(%rip),%rsi        
│ │ │ │ +	lea    0x1639876(%rip),%rsi        
│ │ │ │  	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
│ │ │ │ @@ -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
│ │ │ │ @@ -588793,19 +588793,19 @@
│ │ │ │  	movl   $0x11c,0x2db8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2de8(%rsp),%rdi
│ │ │ │  	lea    0x1646aa7(%rip),%rsi        
│ │ │ │  	movl   $0x11d,0x2de0(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2e10(%rsp),%rdi
│ │ │ │ -	lea    0x1646a9b(%rip),%rsi        
│ │ │ │ +	lea    0x1646ab1(%rip),%rsi        
│ │ │ │  	movl   $0x11e,0x2e08(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2e38(%rsp),%rdi
│ │ │ │ -	lea    0x1646a92(%rip),%rsi        
│ │ │ │ +	lea    0x1646a7c(%rip),%rsi        
│ │ │ │  	movl   $0x11f,0x2e30(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2e60(%rsp),%rdi
│ │ │ │  	lea    0x1646a87(%rip),%rsi        
│ │ │ │  	movl   $0x11f,0x2e58(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x2e88(%rsp),%rdi
│ │ │ │ @@ -589033,19 +589033,19 @@
│ │ │ │  	movl   $0x156,0x3718(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x3748(%rsp),%rdi
│ │ │ │  	lea    0x1644b3b(%rip),%rsi        
│ │ │ │  	movl   $0x157,0x3740(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x3770(%rsp),%rdi
│ │ │ │ -	lea    0x1638c90(%rip),%rsi        
│ │ │ │ +	lea    0x1644b23(%rip),%rsi        
│ │ │ │  	movl   $0x158,0x3768(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x3798(%rsp),%rdi
│ │ │ │ -	lea    0x1644b04(%rip),%rsi        
│ │ │ │ +	lea    0x1638c71(%rip),%rsi        
│ │ │ │  	movl   $0x159,0x3790(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x37c0(%rsp),%rdi
│ │ │ │  	lea    0x1644af0(%rip),%rsi        
│ │ │ │  	movl   $0x159,0x37b8(%rsp)
│ │ │ │  	call   16c2860 <cvc5::internal::Options::Options()@@Base+0x1370>
│ │ │ │  	lea    0x37e8(%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: 17c82f4193490b6522678199084c5be95638dc3e5dd881936b2189f9b27440a8) ]
│ │ │ ├── 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 66386238 30376162 32666330 63613164 f8b807ab2fc0ca1d
│ │ │ │ +  0x00000010 61646337 39323866 37376161 31323965 adc7928f77aa129e
│ │ │ │ +  0x00000020 35313734 62372e64 65627567 00000000 5174b7.debug....
│ │ │ │ +  0x00000030 d76aa9c5                            .j..