--- /srv/rebuilderd/tmp/rebuilderdSZCfBH/inputs/libcvc5-1_1.3.2-1+b2_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdSZCfBH/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 6541736 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: 468ec89c640b13cd297fe4279a28f01fc5f1c47e │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -15626,16 +15626,16 @@ │ │ │ │ use-fcsimplex │ │ │ │ use-portfolio │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ var-elim-quant │ │ │ │ var-ineq-elim-quant │ │ │ │ wf-checking │ │ │ │ -partitions-out │ │ │ │ write-partitions-to │ │ │ │ +partitions-out │ │ │ │ Argument ' │ │ │ │ ' for bool option │ │ │ │ is not a bool constant │ │ │ │ is not a legal setting, value should be at least │ │ │ │ is not a legal setting, value should be at most │ │ │ │ option │ │ │ │ is negative │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -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 │ │ │ │ @@ -73034,18 +73034,18 @@ │ │ │ │ lsls r3, r6, #3 │ │ │ │ strb r2, [r2, #12] │ │ │ │ lsls r3, r6, #3 │ │ │ │ add r6, sp, #888 @ 0x378 │ │ │ │ lsls r7, r5, #3 │ │ │ │ ldr r4, [r6, #112] @ 0x70 │ │ │ │ lsls r7, r5, #3 │ │ │ │ - strb r4, [r3, #11] │ │ │ │ - lsls r3, r6, #3 │ │ │ │ - str r0, [sp, #984] @ 0x3d8 │ │ │ │ + str r1, [sp, #64] @ 0x40 │ │ │ │ lsls r0, r6, #3 │ │ │ │ + strb r2, [r0, #11] │ │ │ │ + lsls r3, r6, #3 │ │ │ │ ldrh r2, [r6, #26] │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldrh r6, [r6, #26] │ │ │ │ lsls r0, r6, #3 │ │ │ │ ldr r2, [r0, #88] @ 0x58 │ │ │ │ lsls r7, r5, #3 │ │ │ │ ldrb r4, [r7, #12] │ │ │ │ @@ -74397,18 +74397,18 @@ │ │ │ │ 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 │ │ │ │ @@ -75872,15 +75872,15 @@ │ │ │ │ lsls r7, r5, #3 │ │ │ │ str r0, [r3, r7] │ │ │ │ lsls r7, r5, #3 │ │ │ │ str r2, [r3, #12] │ │ │ │ lsls r3, r6, #3 │ │ │ │ str r0, [r1, #12] │ │ │ │ lsls r3, r6, #3 │ │ │ │ - str r2, [r7, #8] │ │ │ │ + str r6, [r7, #8] │ │ │ │ lsls r3, r6, #3 │ │ │ │ bne.n 9b618 │ │ │ │ lsls r4, r1, #4 │ │ │ │ bne.n 9b5c8 │ │ │ │ lsls r4, r1, #4 │ │ │ │ bne.n 9b574 │ │ │ │ lsls r4, r1, #4 │ │ │ │ @@ -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: 2ae9b2e36ae4f2c76d062ecac4cd1d3540ec7831330c96ba90150deff1c02321) ] │ │ │ ├── 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- │ │ │ │ @@ -18346,17 +18346,17 @@ │ │ │ │ 0x00fd0cf0 66637369 6d706c65 78000000 7573652d fcsimplex...use- │ │ │ │ 0x00fd0d00 706f7274 666f6c69 6f000000 7573652d portfolio...use- │ │ │ │ 0x00fd0d10 736f6900 75736572 2d706174 00000000 soi.user-pat.... │ │ │ │ 0x00fd0d20 75736572 2d706f6f 6c000000 7661722d user-pool...var- │ │ │ │ 0x00fd0d30 656c696d 2d717561 6e740000 7661722d elim-quant..var- │ │ │ │ 0x00fd0d40 696e6571 2d656c69 6d2d7175 616e7400 ineq-elim-quant. │ │ │ │ 0x00fd0d50 76657262 6f736500 77662d63 6865636b verbose.wf-check │ │ │ │ - 0x00fd0d60 696e6700 70617274 6974696f 6e732d6f ing.partitions-o │ │ │ │ - 0x00fd0d70 75740000 77726974 652d7061 72746974 ut..write-partit │ │ │ │ - 0x00fd0d80 696f6e73 2d746f00 41726775 6d656e74 ions-to.Argument │ │ │ │ + 0x00fd0d60 696e6700 77726974 652d7061 72746974 ing.write-partit │ │ │ │ + 0x00fd0d70 696f6e73 2d746f00 70617274 6974696f ions-to.partitio │ │ │ │ + 0x00fd0d80 6e732d6f 75740000 41726775 6d656e74 ns-out..Argument │ │ │ │ 0x00fd0d90 20270000 2720666f 7220626f 6f6c206f '..' for bool o │ │ │ │ 0x00fd0da0 7074696f 6e200000 20697320 6e6f7420 ption .. is not │ │ │ │ 0x00fd0db0 6120626f 6f6c2063 6f6e7374 616e7400 a bool constant. │ │ │ │ 0x00fd0dc0 20697320 6e6f7420 61206c65 67616c20 is not a legal │ │ │ │ 0x00fd0dd0 73657474 696e672c 2076616c 75652073 setting, value s │ │ │ │ 0x00fd0de0 686f756c 64206265 20617420 6c656173 hould be at leas │ │ │ │ 0x00fd0df0 74200000 20697320 6e6f7420 61206c65 t .. is not a le │ │ │ ├── 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....... │ │ │ │ @@ -1033,15 +1033,15 @@ │ │ │ │ 0x01155334 b8fdfc00 c8fdfc00 dcfdfc00 f4fdfc00 ................ │ │ │ │ 0x01155344 08fefc00 e820fa00 18fefc00 bc13fa00 ..... .......... │ │ │ │ 0x01155354 1821fa00 20fefc00 34fefc00 4032f900 .!.. ...4...@2.. │ │ │ │ 0x01155364 5029fc00 50fefc00 58fefc00 cc32fa00 P)..P...X....2.. │ │ │ │ 0x01155374 64fefc00 70fefc00 8cfefc00 9cfefc00 d...p........... │ │ │ │ 0x01155384 8883f900 b0fefc00 c0fefc00 d8fefc00 ................ │ │ │ │ 0x01155394 f0fefc00 04fffc00 1cfffc00 30fffc00 ............0... │ │ │ │ - 0x011553a4 640dfd00 3016fa00 8020fa00 40fffc00 d...0.... ..@... │ │ │ │ + 0x011553a4 780dfd00 3016fa00 8020fa00 40fffc00 x...0.... ..@... │ │ │ │ 0x011553b4 64fffc00 8859fb00 7cfffc00 90fffc00 d....Y..|....... │ │ │ │ 0x011553c4 a0fffc00 c816fa00 ec16fa00 801cfa00 ................ │ │ │ │ 0x011553d4 9c1dfa00 b8fffc00 c8fffc00 dcfffc00 ................ │ │ │ │ 0x011553e4 f4fffc00 0800fd00 1c00fd00 2800fd00 ............(... │ │ │ │ 0x011553f4 3800fd00 203cf900 90fcf800 881efa00 8... <.......... │ │ │ │ 0x01155404 2019fa00 4019fa00 68fbf800 4009f900 ...@...h...@... │ │ │ │ 0x01155414 e8f9f800 0c2af900 e809f900 9008f900 .....*.......... │ │ │ │ @@ -1096,15 +1096,15 @@ │ │ │ │ 0x01155724 643cf900 9c0cff00 500cfd00 640cfd00 d<......P...d... │ │ │ │ 0x01155734 700cfd00 cc17fa00 c017fa00 800cfd00 p............... │ │ │ │ 0x01155744 8c0cfd00 9c0cfd00 a80cfd00 b00cfd00 ................ │ │ │ │ 0x01155754 c40cfd00 d015fa00 d00cfd00 5c13fa00 ............\... │ │ │ │ 0x01155764 8419fa00 e00cfd00 ec0cfd00 fc0cfd00 ................ │ │ │ │ 0x01155774 0c0dfd00 140dfd00 200dfd00 2c0dfd00 ........ ...,... │ │ │ │ 0x01155784 4818fa00 3c0dfd00 500dfd00 28fff800 H...<...P...(... │ │ │ │ - 0x01155794 38fef800 580dfd00 740dfd00 0830fc00 8...X...t....0.. │ │ │ │ + 0x01155794 38fef800 580dfd00 640dfd00 0830fc00 8...X...d....0.. │ │ │ │ 0x011557a4 0c30fc00 1ceafe00 0030fc00 4806fd00 .0.......0..H... │ │ │ │ 0x011557b4 800bfd00 6883f900 18c6fe00 58dff900 ....h.......X... │ │ │ │ 0x011557c4 8c1bfa00 3443f900 4843f900 f444f900 ....4C..HC...D.. │ │ │ │ 0x011557d4 6815fa00 344dfc00 9c2aff00 4877fc00 h...4M...*..Hw.. │ │ │ │ 0x011557e4 1ceafe00 00fbfc00 3c30ff00 3c78fc00 ........<0..