--- /srv/rebuilderd/tmp/rebuilderdPqq6mi/inputs/libcvc5-1_1.3.2-1+b1_armhf.deb
+++ /srv/rebuilderd/tmp/rebuilderdPqq6mi/out/libcvc5-1_1.3.2-1+b1_armhf.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-04-23 13:57:23.000000 debian-binary
│  -rw-r--r--   0        0        0     1312 2026-04-23 13:57:23.000000 control.tar.xz
│ --rw-r--r--   0        0        0  6542288 2026-04-23 13:57:23.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  6544088 2026-04-23 13:57:23.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/arm-linux-gnueabihf/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: e189ed934ebb7deca46e1f9dbc276cc0d1f0d5ea
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 618f7269065303f7de0c04aaa345fc11614b23d7
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -72829,15 +72829,15 @@
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r2, [r5, #23]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r0, [r4, #23]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r0, [r3, #23]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │ -	strb	r6, [r1, #23]
│ │ │ │ +	strb	r6, [r2, #23]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	bls.n	992e0 <std::__throw_bad_variant_access(unsigned int)@@Base+0x2ef34>
│ │ │ │  	lsls	r7, r5, #3
│ │ │ │  	strb	r4, [r6, #22]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r6, [r5, #22]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │ @@ -72955,36 +72955,36 @@
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │  	strb	r2, [r4, #16]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r4, [r3, #16]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	add	r0, sp, #56	@ 0x38
│ │ │ │  	lsls	r7, r5, #3
│ │ │ │ -	ldr	r7, [sp, #16]
│ │ │ │ -	lsls	r2, r6, #3
│ │ │ │ -	cbz	r4, 99422 <std::__throw_bad_variant_access(unsigned int)@@Base+0x2f076>
│ │ │ │ +	cbz	r4, 99424 <std::__throw_bad_variant_access(unsigned int)@@Base+0x2f078>
│ │ │ │  	lsls	r7, r5, #3
│ │ │ │ +	ldr	r6, [sp, #944]	@ 0x3b0
│ │ │ │ +	lsls	r2, r6, #3
│ │ │ │  	strb	r2, [r2, #15]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │ -	strb	r2, [r0, #15]
│ │ │ │ -	lsls	r3, r6, #3
│ │ │ │ -	add	r0, sp, #112	@ 0x70
│ │ │ │ +	add	r0, sp, #216	@ 0xd8
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │ +	strb	r0, [r5, #14]
│ │ │ │ +	lsls	r3, r6, #3
│ │ │ │  	strb	r2, [r3, #14]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r4, [r1, #14]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r6, [r1, #14]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r2, [r0, #14]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │ -	strb	r4, [r7, #13]
│ │ │ │ -	lsls	r3, r6, #3
│ │ │ │ -	sub	sp, #416	@ 0x1a0
│ │ │ │ +	cbz	r4, 99410 <std::__throw_bad_variant_access(unsigned int)@@Base+0x2f064>
│ │ │ │  	lsls	r5, r6, #3
│ │ │ │ +	strb	r0, [r4, #13]
│ │ │ │ +	lsls	r3, r6, #3
│ │ │ │  	strb	r6, [r2, #13]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r2, [r2, #13]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r6, [r1, #13]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  			@ <UNDEFINED> instruction: 0xf7ca00ef
│ │ │ │ @@ -73034,18 +73034,18 @@
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strb	r2, [r0, #8]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	add	r5, sp, #824	@ 0x338
│ │ │ │  	lsls	r7, r5, #3
│ │ │ │  	ldr	r4, [r4, #96]	@ 0x60
│ │ │ │  	lsls	r7, r5, #3
│ │ │ │ -	str	r0, [sp, #0]
│ │ │ │ -	lsls	r0, r6, #3
│ │ │ │ -	strb	r2, [r6, #6]
│ │ │ │ +	strb	r4, [r1, #7]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │ +	ldrh	r6, [r4, #62]	@ 0x3e
│ │ │ │ +	lsls	r0, r6, #3
│ │ │ │  	ldrh	r2, [r4, #18]
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │  	ldrh	r6, [r4, #18]
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │  	ldr	r2, [r6, #68]	@ 0x44
│ │ │ │  	lsls	r7, r5, #3
│ │ │ │  	ldrb	r4, [r5, #8]
│ │ │ │ @@ -74428,18 +74428,18 @@
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	ldr	r4, [r6, #28]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strh	r2, [r7, #40]	@ 0x28
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │  	ldr	r4, [r1, #28]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │ -	ldr	r6, [r0, #28]
│ │ │ │ -	lsls	r3, r6, #3
│ │ │ │ -	ldrb	r0, [r4, #2]
│ │ │ │ +	ldrb	r6, [r7, #2]
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │ +	ldr	r0, [r5, #24]
│ │ │ │ +	lsls	r3, r6, #3
│ │ │ │  	ldrb	r6, [r1, #4]
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │  	ldr	r0, [r0, #24]
│ │ │ │  	lsls	r3, r6, #3
│ │ │ │  	strh	r2, [r7, #26]
│ │ │ │  	lsls	r0, r6, #3
│ │ │ │  	ldr	r4, [r1, #20]
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	bfi	r3, r2, #8, #20
│ │ │ │  	str	r3, [r0, #4]
│ │ │ │  	ldrh	r0, [r4, #8]
│ │ │ │  	movw	r3, #1023	@ 0x3ff
│ │ │ │  	ubfx	r0, r0, #0, #10
│ │ │ │  	cmp	r0, r3
│ │ │ │  	it	eq
│ │ │ │ -[ Too much input for diff (SHA256: 14addb65d60f18648833d07b2720935b77e26906846c84a879e7139e8c624188) ]
│ │ │ │ +[ Too much input for diff (SHA256: e603189e82c34b503ee10b2a72059e5433d6e864b0b3cb4d798a470f8de37a42) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {}
│ │ │ │ @@ -18043,16 +18043,16 @@
│ │ │ │    0x00fcf8f0 2d6d6178 2d6c6576 656c0000 696e7374 -max-level..inst
│ │ │ │    0x00fcf900 2d6d6178 2d726f75 6e647300 696e7374 -max-rounds.inst
│ │ │ │    0x00fcf910 2d776865 6e2d7068 61736500 696e7465 -when-phase.inte
│ │ │ │    0x00fcf920 72616374 69766500 696e7465 72706f6c ractive.interpol
│ │ │ │    0x00fcf930 616e7473 2d6d6f64 65000000 6a682d72 ants-mode...jh-r
│ │ │ │    0x00fcf940 6c762d6f 72646572 00000000 6a682d73 lv-order....jh-s
│ │ │ │    0x00fcf950 6b6f6c65 6d000000 6a682d73 6b6f6c65 kolem...jh-skole
│ │ │ │ -  0x00fcf960 6d2d726c 76000000 6c616e67 00000000 m-rlv...lang....
│ │ │ │ -  0x00fcf970 696e7075 742d6c61 6e677561 67650000 input-language..
│ │ │ │ +  0x00fcf960 6d2d726c 76000000 696e7075 742d6c61 m-rlv...input-la
│ │ │ │ +  0x00fcf970 6e677561 67650000 6c616e67 00000000 nguage..lang....
│ │ │ │    0x00fcf980 6c656d6d 612d696e 70726f63 65737300 lemma-inprocess.
│ │ │ │    0x00fcf990 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess-
│ │ │ │    0x00fcf9a0 696e6665 722d6571 2d6c6974 00000000 infer-eq-lit....
│ │ │ │    0x00fcf9b0 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess-
│ │ │ │    0x00fcf9c0 73756273 00000000 6c656d6d 61732d6f subs....lemmas-o
│ │ │ │    0x00fcf9d0 6e2d7265 706c6179 2d666169 6c757265 n-replay-failure
│ │ │ │    0x00fcf9e0 00000000 6c667363 2d657870 616e642d ....lfsc-expand-
│ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {}
│ │ │ │ @@ -1009,19 +1009,19 @@
│ │ │ │    0x011551b4 d4f7fc00 581bfa00 e0f7fc00 fcf7fc00 ....X...........
│ │ │ │    0x011551c4 08f8fc00 f056f900 c882f900 0017fa00 .....V..........
│ │ │ │    0x011551d4 28f8fc00 1c13fa00 34f8fc00 7c15fa00 (.......4...|...
│ │ │ │    0x011551e4 48f8fc00 5cf8fc00 3c59f900 ac46f900 H...\...<Y...F..
│ │ │ │    0x011551f4 70f8fc00 88f8fc00 5c1ffa00 4c59f900 p.......\...LY..
│ │ │ │    0x01155204 941bfa00 98f8fc00 a4f8fc00 b8f8fc00 ................
│ │ │ │    0x01155214 c4f8fc00 f072fa00 ccf8fc00 7cf7f800 .....r......|...
│ │ │ │ -  0x01155224 70f9fc00 e0f8fc00 ecf8fc00 fcf8fc00 p...............
│ │ │ │ +  0x01155224 68f9fc00 e0f8fc00 ecf8fc00 fcf8fc00 h...............
│ │ │ │    0x01155234 0016fa00 0c1cfa00 0cf9fc00 cc1cfa00 ................
│ │ │ │    0x01155244 1cf9fc00 44fffc00 28f9fc00 d81cfa00 ....D...(.......
│ │ │ │    0x01155254 fc1cfa00 485df900 3cf9fc00 4cf9fc00 ....H]..<...L...
│ │ │ │ -  0x01155264 58f9fc00 68f9fc00 b05df900 80f9fc00 X...h....]......
│ │ │ │ +  0x01155264 58f9fc00 78f9fc00 b05df900 80f9fc00 X...x....]......
│ │ │ │    0x01155274 90f9fc00 b0f9fc00 c8f9fc00 e4f9fc00 ................
│ │ │ │    0x01155284 f8f9fc00 08fafc00 8816fa00 1cfafc00 ................
│ │ │ │    0x01155294 30fafc00 5c1bfa00 44fafc00 58fafc00 0...\...D...X...
│ │ │ │    0x011552a4 64fafc00 80fafc00 9cfafc00 bcfafc00 d...............
│ │ │ │    0x011552b4 ccfafc00 e0fafc00 f8fafc00 0cfbfc00 ................
│ │ │ │    0x011552c4 6012fa00 7816fa00 20fbfc00 1c5ef900 `...x... ....^..
│ │ │ │    0x011552d4 38fbfc00 4cfbfc00 68fbfc00 74fbfc00 8...L...h...t...
│ │ │ ├── readelf --wide --decompress --hex-dump=.data {}
│ │ │ │ @@ -152,16 +152,16 @@
│ │ │ │    0x01160950 00000000 00000000 71010000 a816fa00 ........q.......
│ │ │ │    0x01160960 00000000 00000000 72010000 b059fe00 ........r....Y..
│ │ │ │    0x01160970 00000000 00000000 73010000 f0f6fc00 ........s.......
│ │ │ │    0x01160980 01000000 00000000 74010000 f43af900 ........t....:..
│ │ │ │    0x01160990 01000000 00000000 75010000 f072fa00 ........u....r..
│ │ │ │    0x011609a0 01000000 00000000 76010000 7cf7f800 ........v...|...
│ │ │ │    0x011609b0 00000000 00000000 77010000 b859fe00 ........w....Y..
│ │ │ │ -  0x011609c0 00000000 00000000 78010000 68f9fc00 ........x...h...
│ │ │ │ -  0x011609d0 01000000 00000000 79010000 70f9fc00 ........y...p...
│ │ │ │ +  0x011609c0 00000000 00000000 78010000 78f9fc00 ........x...x...
│ │ │ │ +  0x011609d0 01000000 00000000 79010000 68f9fc00 ........y...h...
│ │ │ │    0x011609e0 01000000 00000000 7a010000 4028fc00 ........z...@(..
│ │ │ │    0x011609f0 01000000 00000000 7b010000 203bf900 ........{... ;..
│ │ │ │    0x01160a00 01000000 00000000 7c010000 40fdfc00 ........|...@...
│ │ │ │    0x01160a10 01000000 00000000 7d010000 54fdfc00 ........}...T...
│ │ │ │    0x01160a20 00000000 00000000 7e010000 c859fe00 ........~....Y..
│ │ │ │    0x01160a30 00000000 00000000 7f010000 30fefc00 ............0...
│ │ │ │    0x01160a40 00000000 00000000 80010000 d859fe00 .............Y..
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 38396564 39333465 62623764 65636134 89ed934ebb7deca4
│ │ │ │ -  0x00000010 36653166 39646263 32373663 63306431 6e1f9dbc276cc0d1
│ │ │ │ -  0x00000020 66306435 65612e64 65627567 00000000 f0d5ea.debug....
│ │ │ │ -  0x00000030 5d20a590                            ] ..
│ │ │ │ +  0x00000000 38663732 36393036 35333033 66376465 8f7269065303f7de
│ │ │ │ +  0x00000010 30633034 61616133 34356663 31313631 0c04aaa345fc1161
│ │ │ │ +  0x00000020 34623233 64372e64 65627567 00000000 4b23d7.debug....
│ │ │ │ +  0x00000030 a97461ef                            .ta.