--- /srv/rebuilderd/tmp/rebuilderdgV2J8Y/inputs/libcvc5-1_1.3.2-1+b2_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdgV2J8Y/out/libcvc5-1_1.3.2-1+b2_armhf.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-06-28 19:03:42.000000 debian-binary │ -rw-r--r-- 0 0 0 1312 2026-06-28 19:03:42.000000 control.tar.xz │ --rw-r--r-- 0 0 0 6542436 2026-06-28 19:03:42.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6544436 2026-06-28 19:03:42.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: fa747656e4d233ffea5a11d92d6ffcfbeb7582f5 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 55fbf36e7c767a1eee98c3d8caec21b5eeda3952 │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -71394,18 +71394,18 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r0, [r7, #21] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r7, [sp, #416] @ 0x1a0 │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldrb r4, [r3, #21] │ │ │ │ lsls r3, r6, #3 │ │ │ │ - ldrb r4, [r3, #21] │ │ │ │ - lsls r3, r6, #3 │ │ │ │ - add r5, pc, #984 @ (adr r5, 98558 ) │ │ │ │ + add r6, pc, #32 @ (adr r6, 9819c ) │ │ │ │ lsls r5, r6, #3 │ │ │ │ + ldrb r2, [r1, #21] │ │ │ │ + lsls r3, r6, #3 │ │ │ │ ldr r5, [sp, #224] @ 0xe0 │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldrb r6, [r6, #20] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r0, [r7, #20] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r0, [r0, #21] │ │ │ │ @@ -71470,18 +71470,18 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r0, [r0, #18] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r4, [r7, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r4, [r7, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ - ldrb r0, [r7, #17] │ │ │ │ - lsls r3, r6, #3 │ │ │ │ - stmia r0!, {r3, r5, r6} │ │ │ │ + stmia r0!, {r2, r3, r4, r5, r6} │ │ │ │ lsls r7, r5, #3 │ │ │ │ + ldrb r4, [r4, #17] │ │ │ │ + lsls r3, r6, #3 │ │ │ │ ldrb r4, [r2, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r0, [r3, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r0, [r2, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrb r4, [r1, #17] │ │ │ │ @@ -72829,15 +72829,15 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r2, [r7, #27] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r0, [r6, #27] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r0, [r5, #27] │ │ │ │ lsls r3, r6, #3 │ │ │ │ - strb r6, [r4, #27] │ │ │ │ + strb r6, [r3, #27] │ │ │ │ lsls r3, r6, #3 │ │ │ │ blt.n 99300 │ │ │ │ lsls r7, r5, #3 │ │ │ │ strb r4, [r0, #27] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r6, [r7, #26] │ │ │ │ lsls r3, r6, #3 │ │ │ │ @@ -72973,25 +72973,25 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r4, [r3, #18] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r6, [r3, #18] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r2, [r2, #18] │ │ │ │ lsls r3, r6, #3 │ │ │ │ - sxth r4, r3 │ │ │ │ - lsls r5, r6, #3 │ │ │ │ - strb r0, [r6, #17] │ │ │ │ + strb r4, [r1, #18] │ │ │ │ lsls r3, r6, #3 │ │ │ │ + sxth r0, r0 │ │ │ │ + lsls r5, r6, #3 │ │ │ │ strb r6, [r4, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r2, [r4, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ - ldr??.w r0, [r6, #239] @ 0xef │ │ │ │ - strb r2, [r0, #17] │ │ │ │ + strb r6, [r3, #17] │ │ │ │ lsls r3, r6, #3 │ │ │ │ + ldr.w r0, [sl, #239] @ 0xef │ │ │ │ strb r2, [r7, #16] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r6, [r6, #16] │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r0, [r6, #16] │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldrh r4, [r2, #24] │ │ │ │ @@ -74379,36 +74379,36 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r2, [r2, #76] @ 0x4c │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r4, [r0, #76] @ 0x4c │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r0, [r1, #76] @ 0x4c │ │ │ │ lsls r3, r6, #3 │ │ │ │ - add r5, pc, #536 @ (adr r5, 9a768 ) │ │ │ │ - lsls r7, r5, #3 │ │ │ │ - ldr r4, [r2, #72] @ 0x48 │ │ │ │ + ldr r2, [r6, #72] @ 0x48 │ │ │ │ lsls r3, r6, #3 │ │ │ │ + add r5, pc, #416 @ (adr r5, 9a6f4 ) │ │ │ │ + lsls r7, r5, #3 │ │ │ │ ldr r2, [r0, #72] @ 0x48 │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r0, [r6, #68] @ 0x44 │ │ │ │ lsls r3, r6, #3 │ │ │ │ add r3, sp, #504 @ 0x1f8 │ │ │ │ lsls r7, r5, #3 │ │ │ │ ldr r6, [r7, #64] @ 0x40 │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r0, [r7, #64] @ 0x40 │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r2, [r5, #64] @ 0x40 │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r0, [r3, #64] @ 0x40 │ │ │ │ lsls r3, r6, #3 │ │ │ │ - ldr r2, [r4, #60] @ 0x3c │ │ │ │ - lsls r3, r6, #3 │ │ │ │ - ldr r3, [pc, #928] @ (9a918 ) │ │ │ │ + ldr r4, [pc, #24] @ (9a58c ) │ │ │ │ lsls r0, r6, #3 │ │ │ │ + ldr r4, [r0, #60] @ 0x3c │ │ │ │ + lsls r3, r6, #3 │ │ │ │ ldr r6, [r1, #60] @ 0x3c │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r4, [r7, #56] @ 0x38 │ │ │ │ lsls r3, r6, #3 │ │ │ │ vhadd.s q8, q13, │ │ │ │ ldr r0, [r2, #56] @ 0x38 │ │ │ │ lsls r3, r6, #3 │ │ │ │ @@ -74428,18 +74428,18 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ ldr r4, [r0, #48] @ 0x30 │ │ │ │ lsls r3, r6, #3 │ │ │ │ strh r2, [r1, #50] @ 0x32 │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldr r4, [r3, #44] @ 0x2c │ │ │ │ lsls r3, r6, #3 │ │ │ │ - ldr r6, [r2, #44] @ 0x2c │ │ │ │ - lsls r3, r6, #3 │ │ │ │ - ldrb r0, [r6, #6] │ │ │ │ + ldrb r6, [r1, #7] │ │ │ │ lsls r0, r6, #3 │ │ │ │ + ldr r0, [r7, #40] @ 0x28 │ │ │ │ + lsls r3, r6, #3 │ │ │ │ ldrb r6, [r3, #8] │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldr r0, [r2, #40] @ 0x28 │ │ │ │ lsls r3, r6, #3 │ │ │ │ strh r2, [r1, #36] @ 0x24 │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldr r4, [r3, #36] @ 0x24 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ blx 68e88 │ │ │ │ b.w b4f668 ::_M_gen_rand()@@Base+0x5e078> │ │ │ │ blx 68e88 │ │ │ │ b.w b4f63e ::_M_gen_rand()@@Base+0x5e04e> │ │ │ │ mov r0, r5 │ │ │ │ blx 68e88 │ │ │ │ ldr r6, [sp, #264] @ 0x108 │ │ │ │ -[ Too much input for diff (SHA256: 0d25f653204e0f1a0c3b57b081b51665b941b6c89de48a83f8a5483566ba2d2f) ] │ │ │ │ +[ Too much input for diff (SHA256: 6da5f5600f74e6041a6ea6b485445001391a379c8e1f1d833376c4d8485a0b8d) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18043,16 +18043,16 @@ │ │ │ │ 0x00fcfa00 2d6d6178 2d6c6576 656c0000 696e7374 -max-level..inst │ │ │ │ 0x00fcfa10 2d6d6178 2d726f75 6e647300 696e7374 -max-rounds.inst │ │ │ │ 0x00fcfa20 2d776865 6e2d7068 61736500 696e7465 -when-phase.inte │ │ │ │ 0x00fcfa30 72616374 69766500 696e7465 72706f6c ractive.interpol │ │ │ │ 0x00fcfa40 616e7473 2d6d6f64 65000000 6a682d72 ants-mode...jh-r │ │ │ │ 0x00fcfa50 6c762d6f 72646572 00000000 6a682d73 lv-order....jh-s │ │ │ │ 0x00fcfa60 6b6f6c65 6d000000 6a682d73 6b6f6c65 kolem...jh-skole │ │ │ │ - 0x00fcfa70 6d2d726c 76000000 696e7075 742d6c61 m-rlv...input-la │ │ │ │ - 0x00fcfa80 6e677561 67650000 6c616e67 00000000 nguage..lang.... │ │ │ │ + 0x00fcfa70 6d2d726c 76000000 6c616e67 00000000 m-rlv...lang.... │ │ │ │ + 0x00fcfa80 696e7075 742d6c61 6e677561 67650000 input-language.. │ │ │ │ 0x00fcfa90 6c656d6d 612d696e 70726f63 65737300 lemma-inprocess. │ │ │ │ 0x00fcfaa0 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x00fcfab0 696e6665 722d6571 2d6c6974 00000000 infer-eq-lit.... │ │ │ │ 0x00fcfac0 6c656d6d 612d696e 70726f63 6573732d lemma-inprocess- │ │ │ │ 0x00fcfad0 73756273 00000000 6c656d6d 61732d6f subs....lemmas-o │ │ │ │ 0x00fcfae0 6e2d7265 706c6179 2d666169 6c757265 n-replay-failure │ │ │ │ 0x00fcfaf0 00000000 6c667363 2d657870 616e642d ....lfsc-expand- │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1009,19 +1009,19 @@ │ │ │ │ 0x011551b4 e4f8fc00 681cfa00 f0f8fc00 0cf9fc00 ....h........... │ │ │ │ 0x011551c4 18f9fc00 0058f900 d883f900 1018fa00 .....X.......... │ │ │ │ 0x011551d4 38f9fc00 2c14fa00 44f9fc00 8c16fa00 8...,...D....... │ │ │ │ 0x011551e4 58f9fc00 6cf9fc00 4c5af900 bc47f900 X...l...LZ...G.. │ │ │ │ 0x011551f4 80f9fc00 98f9fc00 6c20fa00 5c5af900 ........l ..\Z.. │ │ │ │ 0x01155204 a41cfa00 a8f9fc00 b4f9fc00 c8f9fc00 ................ │ │ │ │ 0x01155214 d4f9fc00 0074fa00 dcf9fc00 8cf8f800 .....t.......... │ │ │ │ - 0x01155224 78fafc00 f0f9fc00 fcf9fc00 0cfafc00 x............... │ │ │ │ + 0x01155224 80fafc00 f0f9fc00 fcf9fc00 0cfafc00 ................ │ │ │ │ 0x01155234 1017fa00 1c1dfa00 1cfafc00 dc1dfa00 ................ │ │ │ │ 0x01155244 2cfafc00 5400fd00 38fafc00 e81dfa00 ,...T...8....... │ │ │ │ 0x01155254 0c1efa00 585ef900 4cfafc00 5cfafc00 ....X^..L...\... │ │ │ │ - 0x01155264 68fafc00 88fafc00 c05ef900 90fafc00 h........^...... │ │ │ │ + 0x01155264 68fafc00 78fafc00 c05ef900 90fafc00 h...x....^...... │ │ │ │ 0x01155274 a0fafc00 c0fafc00 d8fafc00 f4fafc00 ................ │ │ │ │ 0x01155284 08fbfc00 18fbfc00 9817fa00 2cfbfc00 ............,... │ │ │ │ 0x01155294 40fbfc00 6c1cfa00 54fbfc00 68fbfc00 @...l...T...h... │ │ │ │ 0x011552a4 74fbfc00 90fbfc00 acfbfc00 ccfbfc00 t............... │ │ │ │ 0x011552b4 dcfbfc00 f0fbfc00 08fcfc00 1cfcfc00 ................ │ │ │ │ 0x011552c4 7013fa00 8817fa00 30fcfc00 2c5ff900 p.......0...,_.. │ │ │ │ 0x011552d4 48fcfc00 5cfcfc00 78fcfc00 84fcfc00 H...\...x....... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -152,16 +152,16 @@ │ │ │ │ 0x01160950 00000000 00000000 71010000 b817fa00 ........q....... │ │ │ │ 0x01160960 00000000 00000000 72010000 c05afe00 ........r....Z.. │ │ │ │ 0x01160970 00000000 00000000 73010000 00f8fc00 ........s....... │ │ │ │ 0x01160980 01000000 00000000 74010000 043cf900 ........t....<.. │ │ │ │ 0x01160990 01000000 00000000 75010000 0074fa00 ........u....t.. │ │ │ │ 0x011609a0 01000000 00000000 76010000 8cf8f800 ........v....... │ │ │ │ 0x011609b0 00000000 00000000 77010000 c85afe00 ........w....Z.. │ │ │ │ - 0x011609c0 00000000 00000000 78010000 88fafc00 ........x....... │ │ │ │ - 0x011609d0 01000000 00000000 79010000 78fafc00 ........y...x... │ │ │ │ + 0x011609c0 00000000 00000000 78010000 78fafc00 ........x...x... │ │ │ │ + 0x011609d0 01000000 00000000 79010000 80fafc00 ........y....... │ │ │ │ 0x011609e0 01000000 00000000 7a010000 5029fc00 ........z...P).. │ │ │ │ 0x011609f0 01000000 00000000 7b010000 303cf900 ........{...0<.. │ │ │ │ 0x01160a00 01000000 00000000 7c010000 50fefc00 ........|...P... │ │ │ │ 0x01160a10 01000000 00000000 7d010000 64fefc00 ........}...d... │ │ │ │ 0x01160a20 00000000 00000000 7e010000 d85afe00 ........~....Z.. │ │ │ │ 0x01160a30 00000000 00000000 7f010000 40fffc00 ............@... │ │ │ │ 0x01160a40 00000000 00000000 80010000 e85afe00 .............Z.. │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 37343736 35366534 64323333 66666561 747656e4d233ffea │ │ │ │ - 0x00000010 35613131 64393264 36666663 66626562 5a11d92d6ffcfbeb │ │ │ │ - 0x00000020 37353832 66352e64 65627567 00000000 7582f5.debug.... │ │ │ │ - 0x00000030 6b0246dc k.F. │ │ │ │ + 0x00000000 66626633 36653763 37363761 31656565 fbf36e7c767a1eee │ │ │ │ + 0x00000010 39386333 64386361 65633231 62356565 98c3d8caec21b5ee │ │ │ │ + 0x00000020 64613339 35322e64 65627567 00000000 da3952.debug.... │ │ │ │ + 0x00000030 5dfb1c55 ]..U