--- /srv/rebuilderd/tmp/rebuilderdkGPBEv/inputs/libcvc5-1_1.1.2-2+b3_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderdkGPBEv/out/libcvc5-1_1.1.2-2+b3_amd64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2025-01-09 10:53:07.000000 debian-binary
│  -rw-r--r--   0        0        0     1312 2025-01-09 10:53:07.000000 control.tar.xz
│ --rw-r--r--   0        0        0  6681116 2025-01-09 10:53:07.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  6683452 2025-01-09 10:53:07.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
│ │ │┄ 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: 51bf772f7c1ff5f7c3eb07553965da1c67f621ec
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: d97ddaef424024d6419ff265b78d34b4b12242dc
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -496869,19 +496869,19 @@
│ │ │ │  	movl   $0x52,0xd20(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0xd50(%rsp),%rdi
│ │ │ │  	lea    0x12cf289(%rip),%rsi        
│ │ │ │  	movl   $0x53,0xd48(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0xd78(%rsp),%rdi
│ │ │ │ -	lea    0x12cd738(%rip),%rsi        
│ │ │ │ +	lea    0x12d0545(%rip),%rsi        
│ │ │ │  	movl   $0x54,0xd70(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0xda0(%rsp),%rdi
│ │ │ │ -	lea    0x12d0526(%rip),%rsi        
│ │ │ │ +	lea    0x12cd719(%rip),%rsi        
│ │ │ │  	movl   $0x55,0xd98(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0xdc8(%rsp),%rdi
│ │ │ │  	lea    0x12ccd52(%rip),%rsi        
│ │ │ │  	movl   $0x55,0xdc0(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0xdf0(%rsp),%rdi
│ │ │ │ @@ -497245,19 +497245,19 @@
│ │ │ │  	movl   $0xae,0x1bd0(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x1c00(%rsp),%rdi
│ │ │ │  	lea    0x12ccd41(%rip),%rsi        
│ │ │ │  	movl   $0xaf,0x1bf8(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x1c28(%rsp),%rdi
│ │ │ │ -	lea    0x12ccd30(%rip),%rsi        
│ │ │ │ +	lea    0x12cce6a(%rip),%rsi        
│ │ │ │  	movl   $0xb0,0x1c20(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x1c50(%rsp),%rdi
│ │ │ │ -	lea    0x12cce4b(%rip),%rsi        
│ │ │ │ +	lea    0x12ccd11(%rip),%rsi        
│ │ │ │  	movl   $0xb1,0x1c48(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x1c78(%rsp),%rdi
│ │ │ │  	lea    0x12ce71b(%rip),%rsi        
│ │ │ │  	movl   $0xb1,0x1c70(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x1ca0(%rsp),%rdi
│ │ │ │ @@ -497493,19 +497493,19 @@
│ │ │ │  	movl   $0xe9,0x2580(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x25b0(%rsp),%rdi
│ │ │ │  	lea    0x12cdb10(%rip),%rsi        
│ │ │ │  	movl   $0xea,0x25a8(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x25d8(%rsp),%rdi
│ │ │ │ -	lea    0x12c3964(%rip),%rsi        
│ │ │ │ +	lea    0x12cc6ed(%rip),%rsi        
│ │ │ │  	movl   $0xeb,0x25d0(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x2600(%rsp),%rdi
│ │ │ │ -	lea    0x12cc6ce(%rip),%rsi        
│ │ │ │ +	lea    0x12c3945(%rip),%rsi        
│ │ │ │  	movl   $0xec,0x25f8(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x2628(%rsp),%rdi
│ │ │ │  	lea    0x12cc6bf(%rip),%rsi        
│ │ │ │  	movl   $0xec,0x2620(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x2650(%rsp),%rdi
│ │ │ │ @@ -497597,19 +497597,19 @@
│ │ │ │  	movl   $0x101,0x2990(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x29c0(%rsp),%rdi
│ │ │ │  	lea    0x12cdd3d(%rip),%rsi        
│ │ │ │  	movl   $0x102,0x29b8(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x29e8(%rsp),%rdi
│ │ │ │ -	lea    0x12cdd31(%rip),%rsi        
│ │ │ │ +	lea    0x12cdd47(%rip),%rsi        
│ │ │ │  	movl   $0x103,0x29e0(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x2a10(%rsp),%rdi
│ │ │ │ -	lea    0x12cdd28(%rip),%rsi        
│ │ │ │ +	lea    0x12cdd12(%rip),%rsi        
│ │ │ │  	movl   $0x104,0x2a08(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x2a38(%rsp),%rdi
│ │ │ │  	lea    0x12cdd1d(%rip),%rsi        
│ │ │ │  	movl   $0x104,0x2a30(%rsp)
│ │ │ │  	call   13fbe30 <cvc5::internal::Options::Options()@@Base+0x1410>
│ │ │ │  	lea    0x2a60(%rsp),%rdi
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	mov    %rbp,%rax
│ │ │ │  	pop    %rbx
│ │ │ │  	pop    %rbp
│ │ │ │  	pop    %r12
│ │ │ │  	ret
│ │ │ │  	nopl   0x0(%rax)
│ │ │ │  	mov    %edx,%ecx
│ │ │ │ -[ Too much input for diff (SHA256: 9cc434ea788a19ed7a2e64bff3489cd879320984016de6c68956e021904528b3) ]
│ │ │ │ +[ Too much input for diff (SHA256: c89f89e33fa988c8c80d2acbaf3bf6026abf571ca622158d400dd0399994eed4) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 62663737 32663763 31666635 66376333 bf772f7c1ff5f7c3
│ │ │ │ -  0x00000010 65623037 35353339 36356461 31633637 eb07553965da1c67
│ │ │ │ -  0x00000020 66363231 65632e64 65627567 00000000 f621ec.debug....
│ │ │ │ -  0x00000030 a0e17085                            ..p.
│ │ │ │ +  0x00000000 37646461 65663432 34303234 64363431 7ddaef424024d641
│ │ │ │ +  0x00000010 39666632 36356237 38643334 62346231 9ff265b78d34b4b1
│ │ │ │ +  0x00000020 32323432 64632e64 65627567 00000000 2242dc.debug....
│ │ │ │ +  0x00000030 b58989eb                            ....