--- /srv/rebuilderd/tmp/rebuilderdJCKNj7/inputs/libcvc5-1_1.1.2-3_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderdJCKNj7/out/libcvc5-1_1.1.2-3_amd64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2025-07-27 11:13:23.000000 debian-binary
│  -rw-r--r--   0        0        0     1280 2025-07-27 11:13:23.000000 control.tar.xz
│ --rw-r--r--   0        0        0  6689904 2025-07-27 11:13:23.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  6692572 2025-07-27 11:13:23.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: 14c9846c5f433c7ac259638699ef8daaf187db86
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 1f40f0b263006a8e15458abf01e5f5633fcdd315
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -495975,19 +495975,19 @@
│ │ │ │  	movl   $0x75,0x12c0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x12f0(%rsp),%rdi
│ │ │ │  	lea    0x12d1f13(%rip),%rsi        
│ │ │ │  	movl   $0x76,0x12e8(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1318(%rsp),%rdi
│ │ │ │ -	lea    0x12c62b1(%rip),%rsi        
│ │ │ │ +	lea    0x12c3f2c(%rip),%rsi        
│ │ │ │  	movl   $0x77,0x1310(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1340(%rsp),%rdi
│ │ │ │ -	lea    0x12c3f0d(%rip),%rsi        
│ │ │ │ +	lea    0x12c6292(%rip),%rsi        
│ │ │ │  	movl   $0x78,0x1338(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1368(%rsp),%rdi
│ │ │ │  	lea    0x12d0a62(%rip),%rsi        
│ │ │ │  	movl   $0x78,0x1360(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1390(%rsp),%rdi
│ │ │ │ @@ -496207,19 +496207,19 @@
│ │ │ │  	movl   $0xae,0x1bd0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1c00(%rsp),%rdi
│ │ │ │  	lea    0x12d04b1(%rip),%rsi        
│ │ │ │  	movl   $0xaf,0x1bf8(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1c28(%rsp),%rdi
│ │ │ │ -	lea    0x12d05da(%rip),%rsi        
│ │ │ │ +	lea    0x12d04a0(%rip),%rsi        
│ │ │ │  	movl   $0xb0,0x1c20(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1c50(%rsp),%rdi
│ │ │ │ -	lea    0x12d0481(%rip),%rsi        
│ │ │ │ +	lea    0x12d05bb(%rip),%rsi        
│ │ │ │  	movl   $0xb1,0x1c48(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1c78(%rsp),%rdi
│ │ │ │  	lea    0x12d1e8b(%rip),%rsi        
│ │ │ │  	movl   $0xb1,0x1c70(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x1ca0(%rsp),%rdi
│ │ │ │ @@ -496439,19 +496439,19 @@
│ │ │ │  	movl   $0xe7,0x24e0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2510(%rsp),%rdi
│ │ │ │  	lea    0x12cfee5(%rip),%rsi        
│ │ │ │  	movl   $0xe7,0x2508(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2538(%rsp),%rdi
│ │ │ │ -	lea    0x12cfecd(%rip),%rsi        
│ │ │ │ +	lea    0x12c8dcb(%rip),%rsi        
│ │ │ │  	movl   $0xe8,0x2530(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2560(%rsp),%rdi
│ │ │ │ -	lea    0x12c8dac(%rip),%rsi        
│ │ │ │ +	lea    0x12cfeae(%rip),%rsi        
│ │ │ │  	movl   $0xe9,0x2558(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2588(%rsp),%rdi
│ │ │ │  	lea    0x12d0948(%rip),%rsi        
│ │ │ │  	movl   $0xe9,0x2580(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x25b0(%rsp),%rdi
│ │ │ │ @@ -496471,19 +496471,19 @@
│ │ │ │  	movl   $0xec,0x2620(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2650(%rsp),%rdi
│ │ │ │  	lea    0x12cfe28(%rip),%rsi        
│ │ │ │  	movl   $0xed,0x2648(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2678(%rsp),%rdi
│ │ │ │ -	lea    0x12cfe1e(%rip),%rsi        
│ │ │ │ +	lea    0x12cfa9e(%rip),%rsi        
│ │ │ │  	movl   $0xee,0x2670(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x26a0(%rsp),%rdi
│ │ │ │ -	lea    0x12cfa7f(%rip),%rsi        
│ │ │ │ +	lea    0x12cfdff(%rip),%rsi        
│ │ │ │  	movl   $0xef,0x2698(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x26c8(%rsp),%rdi
│ │ │ │  	lea    0x12cfdf3(%rip),%rsi        
│ │ │ │  	movl   $0xef,0x26c0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x26f0(%rsp),%rdi
│ │ │ │ @@ -496559,19 +496559,19 @@
│ │ │ │  	movl   $0x101,0x2990(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x29c0(%rsp),%rdi
│ │ │ │  	lea    0x12d14ad(%rip),%rsi        
│ │ │ │  	movl   $0x102,0x29b8(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x29e8(%rsp),%rdi
│ │ │ │ -	lea    0x12d14a1(%rip),%rsi        
│ │ │ │ +	lea    0x12d14b7(%rip),%rsi        
│ │ │ │  	movl   $0x103,0x29e0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2a10(%rsp),%rdi
│ │ │ │ -	lea    0x12d1498(%rip),%rsi        
│ │ │ │ +	lea    0x12d1482(%rip),%rsi        
│ │ │ │  	movl   $0x104,0x2a08(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2a38(%rsp),%rdi
│ │ │ │  	lea    0x12d148d(%rip),%rsi        
│ │ │ │  	movl   $0x104,0x2a30(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2a60(%rsp),%rdi
│ │ │ │ @@ -496767,19 +496767,19 @@
│ │ │ │  	movl   $0x133,0x31b0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x31e0(%rsp),%rdi
│ │ │ │  	lea    0x12cf761(%rip),%rsi        
│ │ │ │  	movl   $0x134,0x31d8(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x3208(%rsp),%rdi
│ │ │ │ -	lea    0x12cf749(%rip),%rsi        
│ │ │ │ +	lea    0x12c2763(%rip),%rsi        
│ │ │ │  	movl   $0x135,0x3200(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x3230(%rsp),%rdi
│ │ │ │ -	lea    0x12c2744(%rip),%rsi        
│ │ │ │ +	lea    0x12cf72a(%rip),%rsi        
│ │ │ │  	movl   $0x136,0x3228(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x3258(%rsp),%rdi
│ │ │ │  	lea    0x12cf716(%rip),%rsi        
│ │ │ │  	movl   $0x136,0x3250(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x3280(%rsp),%rdi
│ │ │ │ @@ -496855,19 +496855,19 @@
│ │ │ │  	movl   $0x148,0x3520(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x3550(%rsp),%rdi
│ │ │ │  	lea    0x12cf510(%rip),%rsi        
│ │ │ │  	movl   $0x149,0x3548(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x3578(%rsp),%rdi
│ │ │ │ -	lea    0x12cf506(%rip),%rsi        
│ │ │ │ +	lea    0x12c7622(%rip),%rsi        
│ │ │ │  	movl   $0x14a,0x3570(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x35a0(%rsp),%rdi
│ │ │ │ -	lea    0x12c7603(%rip),%rsi        
│ │ │ │ +	lea    0x12cf4e7(%rip),%rsi        
│ │ │ │  	movl   $0x14b,0x3598(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x35c8(%rsp),%rdi
│ │ │ │  	lea    0x12d0c86(%rip),%rsi        
│ │ │ │  	movl   $0x14b,0x35c0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x35f0(%rsp),%rdi
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	mov    0xd8(%rsp),%rax
│ │ │ │  	sub    %fs:0x28,%rax
│ │ │ │  	jne    11ce2d3 <void std::vector<std::pair<cvc5::internal::theory::strings::InferStep, int>, std::allocator<std::pair<cvc5::internal::theory::strings::InferStep, int> > >::_M_realloc_append<std::pair<cvc5::internal::theory::strings::InferStep, int> >(std::pair<cvc5::internal::theory::strings::InferStep, int>&&)@@Base+0x25073>
│ │ │ │  	add    $0xe8,%rsp
│ │ │ │  	mov    %r12d,%eax
│ │ │ │  	pop    %rbx
│ │ │ │  	pop    %rbp
│ │ │ │ -[ Too much input for diff (SHA256: e50724208404e96cc816aa6aabcbde1f2698347f1502e106ba218df7cb6ae4c7) ]
│ │ │ │ +[ Too much input for diff (SHA256: d634696cb3f2ec7103e50c67cec06c2aabe0d3e394f1d364a999697187bed4ba) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 63393834 36633566 34333363 37616332 c9846c5f433c7ac2
│ │ │ │ -  0x00000010 35393633 38363939 65663864 61616631 59638699ef8daaf1
│ │ │ │ -  0x00000020 38376462 38362e64 65627567 00000000 87db86.debug....
│ │ │ │ -  0x00000030 231de7b0                            #...
│ │ │ │ +  0x00000000 34306630 62323633 30303661 38653135 40f0b263006a8e15
│ │ │ │ +  0x00000010 34353861 62663031 65356635 36333366 458abf01e5f5633f
│ │ │ │ +  0x00000020 63646433 31352e64 65627567 00000000 cdd315.debug....
│ │ │ │ +  0x00000030 69202242                            i "B