--- /srv/rebuilderd/tmp/rebuilderdtO2kPf/inputs/libcvc5-1_1.1.2-3_amd64.deb
+++ /srv/rebuilderd/tmp/rebuilderdtO2kPf/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  6690912 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 --relocs {}
│ │ │ │ @@ -4291,16 +4291,16 @@
│ │ │ │  000000000186d128  0000000000000008 R_X86_64_RELATIVE                         15a556a
│ │ │ │  000000000186d130  0000000000000008 R_X86_64_RELATIVE                         15a557d
│ │ │ │  000000000186d138  0000000000000008 R_X86_64_RELATIVE                         15a4272
│ │ │ │  000000000186d140  0000000000000008 R_X86_64_RELATIVE                         15a5592
│ │ │ │  000000000186d148  0000000000000008 R_X86_64_RELATIVE                         15a55a2
│ │ │ │  000000000186d150  0000000000000008 R_X86_64_RELATIVE                         15a427f
│ │ │ │  000000000186d158  0000000000000008 R_X86_64_RELATIVE                         159bdd3
│ │ │ │ -000000000186d160  0000000000000008 R_X86_64_RELATIVE                         15a428e
│ │ │ │ -000000000186d168  0000000000000008 R_X86_64_RELATIVE                         15a429a
│ │ │ │ +000000000186d160  0000000000000008 R_X86_64_RELATIVE                         15a429f
│ │ │ │ +000000000186d168  0000000000000008 R_X86_64_RELATIVE                         15a428e
│ │ │ │  000000000186d170  0000000000000008 R_X86_64_RELATIVE                         15a4f07
│ │ │ │  000000000186d178  0000000000000008 R_X86_64_RELATIVE                         15a42ab
│ │ │ │  000000000186d180  0000000000000008 R_X86_64_RELATIVE                         15a42b3
│ │ │ │  000000000186d188  0000000000000008 R_X86_64_RELATIVE                         15a55af
│ │ │ │  000000000186d190  0000000000000008 R_X86_64_RELATIVE                         1597363
│ │ │ │  000000000186d198  0000000000000008 R_X86_64_RELATIVE                         15a55cc
│ │ │ │  000000000186d1a0  0000000000000008 R_X86_64_RELATIVE                         15a5da2
│ │ │ │ @@ -8689,16 +8689,16 @@
│ │ │ │  000000000187fd60  0000000000000008 R_X86_64_RELATIVE                         15a5093
│ │ │ │  000000000187fd80  0000000000000008 R_X86_64_RELATIVE                         15a4244
│ │ │ │  000000000187fda0  0000000000000008 R_X86_64_RELATIVE                         1579db0
│ │ │ │  000000000187fdc0  0000000000000008 R_X86_64_RELATIVE                         15a50ab
│ │ │ │  000000000187fde0  0000000000000008 R_X86_64_RELATIVE                         15a50a8
│ │ │ │  000000000187fe00  0000000000000008 R_X86_64_RELATIVE                         159c449
│ │ │ │  000000000187fe20  0000000000000008 R_X86_64_RELATIVE                         15a41de
│ │ │ │ -000000000187fe40  0000000000000008 R_X86_64_RELATIVE                         15a428e
│ │ │ │ -000000000187fe60  0000000000000008 R_X86_64_RELATIVE                         15a429a
│ │ │ │ +000000000187fe40  0000000000000008 R_X86_64_RELATIVE                         15a429f
│ │ │ │ +000000000187fe60  0000000000000008 R_X86_64_RELATIVE                         15a428e
│ │ │ │  000000000187fe80  0000000000000008 R_X86_64_RELATIVE                         15a431b
│ │ │ │  000000000187fea0  0000000000000008 R_X86_64_RELATIVE                         15a432c
│ │ │ │  000000000187fec0  0000000000000008 R_X86_64_RELATIVE                         15a437c
│ │ │ │  000000000187fee0  0000000000000008 R_X86_64_RELATIVE                         15a3d5d
│ │ │ │  000000000187ff00  0000000000000008 R_X86_64_RELATIVE                         15a55fc
│ │ │ │  000000000187ff20  0000000000000008 R_X86_64_RELATIVE                         15a50bf
│ │ │ │  000000000187ff40  0000000000000008 R_X86_64_RELATIVE                         15a50ca
│ │ │ ├── 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: ed0ee3d4385bd3f0cccc89702859d9e0a7766fe8
│ │ │ ├── strings --all --bytes=8 {}
│ │ │ │┄ Ordering differences only
│ │ │ │ @@ -26752,16 +26752,16 @@
│ │ │ │  proof-granularity
│ │ │ │  proof-mode
│ │ │ │  proof-pedantic
│ │ │ │  proof-rewrite-rcons-rec-limit
│ │ │ │  prop-row-length
│ │ │ │  quant-dsplit
│ │ │ │  quant-rep-mode
│ │ │ │ -random-freq
│ │ │ │  random-frequency
│ │ │ │ +random-freq
│ │ │ │  re-inter-mode
│ │ │ │  replay-early-close-depth
│ │ │ │  replay-lemma-reject-cut
│ │ │ │  replay-num-err-penalty
│ │ │ │  replay-reject-cut
│ │ │ │  restart-int-base
│ │ │ │  restart-int-inc
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -495831,19 +495831,19 @@
│ │ │ │  	movl   $0x52,0xd20(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0xd50(%rsp),%rdi
│ │ │ │  	lea    0x12d29f9(%rip),%rsi        
│ │ │ │  	movl   $0x53,0xd48(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0xd78(%rsp),%rdi
│ │ │ │ -	lea    0x12d0ea8(%rip),%rsi        
│ │ │ │ +	lea    0x12d3cb5(%rip),%rsi        
│ │ │ │  	movl   $0x54,0xd70(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0xda0(%rsp),%rdi
│ │ │ │ -	lea    0x12d3c96(%rip),%rsi        
│ │ │ │ +	lea    0x12d0e89(%rip),%rsi        
│ │ │ │  	movl   $0x55,0xd98(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0xdc8(%rsp),%rdi
│ │ │ │  	lea    0x12d04c2(%rip),%rsi        
│ │ │ │  	movl   $0x55,0xdc0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0xdf0(%rsp),%rdi
│ │ │ │ @@ -496427,19 +496427,19 @@
│ │ │ │  	movl   $0xe4,0x2468(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2498(%rsp),%rdi
│ │ │ │  	lea    0x12d134e(%rip),%rsi        
│ │ │ │  	movl   $0xe5,0x2490(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x24c0(%rsp),%rdi
│ │ │ │ -	lea    0x12c3197(%rip),%rsi        
│ │ │ │ +	lea    0x12d05d5(%rip),%rsi        
│ │ │ │  	movl   $0xe6,0x24b8(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x24e8(%rsp),%rdi
│ │ │ │ -	lea    0x12d05b6(%rip),%rsi        
│ │ │ │ +	lea    0x12c3178(%rip),%rsi        
│ │ │ │  	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
│ │ │ │ @@ -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
│ │ │ │ @@ -496695,15 +496695,15 @@
│ │ │ │  	movl   $0x122,0x2ee0(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2f10(%rsp),%rdi
│ │ │ │  	lea    0x12cf8c4(%rip),%rsi        
│ │ │ │  	movl   $0x123,0x2f08(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2f38(%rsp),%rdi
│ │ │ │ -	lea    0x12cf8b1(%rip),%rsi        
│ │ │ │ +	lea    0x12cf8b6(%rip),%rsi        
│ │ │ │  	movl   $0x124,0x2f30(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2f60(%rsp),%rdi
│ │ │ │  	lea    0x12d04ff(%rip),%rsi        
│ │ │ │  	movl   $0x124,0x2f58(%rsp)
│ │ │ │  	call   13feab0 <cvc5::internal::Options::Options()@@Base+0x12d0>
│ │ │ │  	lea    0x2f88(%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: 5a21315a29aa8cb15ab15b31c0c99edab48add6fc8e17266cc55cfc277d3945e) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {}
│ │ │ │ @@ -22565,16 +22565,16 @@
│ │ │ │    0x015a4220 616e756c 61726974 79007072 6f6f662d anularity.proof-
│ │ │ │    0x015a4230 6d6f6465 0070726f 6f662d70 6564616e mode.proof-pedan
│ │ │ │    0x015a4240 74696300 70726f6f 662d7265 77726974 tic.proof-rewrit
│ │ │ │    0x015a4250 652d7263 6f6e732d 7265632d 6c696d69 e-rcons-rec-limi
│ │ │ │    0x015a4260 74007072 6f702d72 6f772d6c 656e6774 t.prop-row-lengt
│ │ │ │    0x015a4270 68007175 616e742d 6473706c 69740071 h.quant-dsplit.q
│ │ │ │    0x015a4280 75616e74 2d726570 2d6d6f64 65007261 uant-rep-mode.ra
│ │ │ │ -  0x015a4290 6e646f6d 2d667265 71007261 6e646f6d ndom-freq.random
│ │ │ │ -  0x015a42a0 2d667265 7175656e 63790072 652d656c -frequency.re-el
│ │ │ │ +  0x015a4290 6e646f6d 2d667265 7175656e 63790072 ndom-frequency.r
│ │ │ │ +  0x015a42a0 616e646f 6d2d6672 65710072 652d656c andom-freq.re-el
│ │ │ │    0x015a42b0 696d0072 652d696e 7465722d 6d6f6465 im.re-inter-mode
│ │ │ │    0x015a42c0 00726570 6c61792d 6561726c 792d636c .replay-early-cl
│ │ │ │    0x015a42d0 6f73652d 64657074 68007265 706c6179 ose-depth.replay
│ │ │ │    0x015a42e0 2d6c656d 6d612d72 656a6563 742d6375 -lemma-reject-cu
│ │ │ │    0x015a42f0 74007265 706c6179 2d6e756d 2d657272 t.replay-num-err
│ │ │ │    0x015a4300 2d70656e 616c7479 00726570 6c61792d -penalty.replay-
│ │ │ │    0x015a4310 72656a65 63742d63 75740072 65737461 reject-cut.resta
│ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {}
│ │ │ │ @@ -2202,15 +2202,15 @@
│ │ │ │    0x0186d0f0 35425a01 00000000 6a505a01 00000000 5BZ.....jPZ.....
│ │ │ │    0x0186d100 7c505a01 00000000 96505a01 00000000 |PZ......PZ.....
│ │ │ │    0x0186d110 44425a01 00000000 b09d5701 00000000 DBZ.......W.....
│ │ │ │    0x0186d120 62425a01 00000000 6a555a01 00000000 bBZ.....jUZ.....
│ │ │ │    0x0186d130 7d555a01 00000000 72425a01 00000000 }UZ.....rBZ.....
│ │ │ │    0x0186d140 92555a01 00000000 a2555a01 00000000 .UZ......UZ.....
│ │ │ │    0x0186d150 7f425a01 00000000 d3bd5901 00000000 .BZ.......Y.....
│ │ │ │ -  0x0186d160 8e425a01 00000000 9a425a01 00000000 .BZ......BZ.....
│ │ │ │ +  0x0186d160 9f425a01 00000000 8e425a01 00000000 .BZ......BZ.....
│ │ │ │    0x0186d170 074f5a01 00000000 ab425a01 00000000 .OZ......BZ.....
│ │ │ │    0x0186d180 b3425a01 00000000 af555a01 00000000 .BZ......UZ.....
│ │ │ │    0x0186d190 63735901 00000000 cc555a01 00000000 csY......UZ.....
│ │ │ │    0x0186d1a0 a25d5a01 00000000 e3555a01 00000000 .]Z......UZ.....
│ │ │ │    0x0186d1b0 4f5b5a01 00000000 c1425a01 00000000 O[Z......BZ.....
│ │ │ │    0x0186d1c0 da425a01 00000000 f2425a01 00000000 .BZ......BZ.....
│ │ │ │    0x0186d1d0 09435a01 00000000 7a735901 00000000 .CZ.....zsY.....
│ │ │ ├── readelf --wide --decompress --hex-dump=.data {}
│ │ │ │ @@ -736,17 +736,17 @@
│ │ │ │    0x0187fdd0 00000000 00000000 46020000 00000000 ........F.......
│ │ │ │    0x0187fde0 a8505a01 00000000 00000000 00000000 .PZ.............
│ │ │ │    0x0187fdf0 00000000 00000000 47020000 00000000 ........G.......
│ │ │ │    0x0187fe00 49c45901 00000000 01000000 00000000 I.Y.............
│ │ │ │    0x0187fe10 00000000 00000000 48020000 00000000 ........H.......
│ │ │ │    0x0187fe20 de415a01 00000000 01000000 00000000 .AZ.............
│ │ │ │    0x0187fe30 00000000 00000000 49020000 00000000 ........I.......
│ │ │ │ -  0x0187fe40 8e425a01 00000000 01000000 00000000 .BZ.............
│ │ │ │ +  0x0187fe40 9f425a01 00000000 01000000 00000000 .BZ.............
│ │ │ │    0x0187fe50 00000000 00000000 4a020000 00000000 ........J.......
│ │ │ │ -  0x0187fe60 9a425a01 00000000 01000000 00000000 .BZ.............
│ │ │ │ +  0x0187fe60 8e425a01 00000000 01000000 00000000 .BZ.............
│ │ │ │    0x0187fe70 00000000 00000000 4b020000 00000000 ........K.......
│ │ │ │    0x0187fe80 1b435a01 00000000 01000000 00000000 .CZ.............
│ │ │ │    0x0187fe90 00000000 00000000 4c020000 00000000 ........L.......
│ │ │ │    0x0187fea0 2c435a01 00000000 01000000 00000000 ,CZ.............
│ │ │ │    0x0187feb0 00000000 00000000 4d020000 00000000 ........M.......
│ │ │ │    0x0187fec0 7c435a01 00000000 01000000 00000000 |CZ.............
│ │ │ │    0x0187fed0 00000000 00000000 4e020000 00000000 ........N.......
│ │ │ ├── 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 30656533 64343338 35626433 66306363 0ee3d4385bd3f0cc
│ │ │ │ +  0x00000010 63633839 37303238 35396439 65306137 cc89702859d9e0a7
│ │ │ │ +  0x00000020 37363666 65382e64 65627567 00000000 766fe8.debug....
│ │ │ │ +  0x00000030 a90ea0da                            ....