--- /srv/rebuilderd/tmp/rebuilderdljbXoV/inputs/libcvc5-1_1.1.2-2+b3_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdljbXoV/out/libcvc5-1_1.1.2-2+b3_armhf.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-01-09 12:14:02.000000 debian-binary │ -rw-r--r-- 0 0 0 1312 2025-01-09 12:14:02.000000 control.tar.xz │ --rw-r--r-- 0 0 0 5672860 2025-01-09 12:14:02.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 5674028 2025-01-09 12:14:02.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: 688b2fceb72919842ce13280f8e5b337e0a09dc1 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 4232667d0fc4b1609882927872d742f67c8bf180 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -14097,16 +14097,16 @@ │ │ │ │ preprocess-only │ │ │ │ preregister-mode │ │ │ │ print-cores-full │ │ │ │ print-dot-clusters │ │ │ │ print-inst │ │ │ │ print-inst-full │ │ │ │ produce-abducts │ │ │ │ -interactive-mode │ │ │ │ produce-assertions │ │ │ │ +interactive-mode │ │ │ │ produce-assignments │ │ │ │ produce-difficulty │ │ │ │ produce-interpolants │ │ │ │ produce-learned-literals │ │ │ │ produce-proofs │ │ │ │ produce-unsat-assumptions │ │ │ │ proof-alethe-res-pivots │ │ │ │ @@ -14127,16 +14127,16 @@ │ │ │ │ prop-row-length │ │ │ │ purify-triggers │ │ │ │ quant-alpha-equiv │ │ │ │ quant-dsplit │ │ │ │ quant-fun-wd │ │ │ │ quant-ind │ │ │ │ quant-rep-mode │ │ │ │ -random-frequency │ │ │ │ random-freq │ │ │ │ +random-frequency │ │ │ │ random-partitioning │ │ │ │ re-inter-mode │ │ │ │ register-quant-body-terms │ │ │ │ relational-triggers │ │ │ │ relevance-filter │ │ │ │ relevant-triggers │ │ │ │ repeat-simp │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -43779,16 +43779,16 @@ │ │ │ │ sbceq r7, lr, sl, lsl fp │ │ │ │ sbceq r7, lr, r2, lsr #22 │ │ │ │ sbceq r7, lr, sl, lsr #22 │ │ │ │ sbceq r7, lr, sl, lsr #22 │ │ │ │ sbceq r7, lr, r2, lsr #22 │ │ │ │ sbceq r7, lr, lr, lsl fp │ │ │ │ sbceq r7, lr, r6, lsl fp │ │ │ │ - sbceq r7, lr, r6, lsl fp │ │ │ │ - sbcseq r3, r0, r2, lsr #9 │ │ │ │ + ldrheq r3, [r0], #70 @ 0x46 │ │ │ │ + sbceq r7, lr, r2, lsl #22 │ │ │ │ sbceq sp, sp, sl, asr r4 │ │ │ │ sbceq r7, lr, sl, ror #21 │ │ │ │ sbceq r7, lr, sl, ror #21 │ │ │ │ sbceq r7, lr, r6, ror #21 │ │ │ │ ldrdeq r7, [lr], #174 @ 0xae │ │ │ │ ldrdeq r7, [lr], #166 @ 0xa6 │ │ │ │ sbceq r7, lr, lr, asr #21 │ │ │ │ @@ -44946,20 +44946,20 @@ │ │ │ │ sbceq r7, lr, r4, asr #7 │ │ │ │ sbceq r7, lr, r2, asr #7 │ │ │ │ strheq r7, [lr], #60 @ 0x3c │ │ │ │ sbceq ip, sp, r8, asr #8 │ │ │ │ smulleq sl, sp, r6, lr │ │ │ │ smulleq sl, sl, r4, sl @ │ │ │ │ sbceq r7, lr, r2, ror r3 │ │ │ │ - sbceq r7, lr, r0, ror #6 │ │ │ │ - sbceq ip, fp, sl, lsl #7 │ │ │ │ + sbceq ip, fp, r4, lsr #7 │ │ │ │ + sbceq r7, lr, r6, asr #6 │ │ │ │ sbceq r7, lr, r8, lsr r3 │ │ │ │ sbceq r7, lr, sl, lsr #6 │ │ │ │ - sbceq r7, lr, r6, lsr #6 │ │ │ │ - sbcseq r4, r0, r0, ror #1 │ │ │ │ + ldrsheq r4, [r0], #10 │ │ │ │ + sbceq r7, lr, ip, lsl #6 │ │ │ │ sbceq r7, lr, r2, lsl #6 │ │ │ │ sbceq r7, lr, r0, lsl #6 │ │ │ │ sbceq r2, fp, r2, asr #28 │ │ │ │ sbceq r7, lr, r4, ror #5 │ │ │ │ ldrdeq r7, [lr], #46 @ 0x2e │ │ │ │ ldrdeq r7, [lr], #44 @ 0x2c │ │ │ │ ldrdeq r7, [lr], #40 @ 0x28 │ │ │ │ @@ -45010,15 +45010,15 @@ │ │ │ │ sbceq r7, lr, r8, lsr r1 │ │ │ │ sbceq r7, lr, r2, lsr r1 │ │ │ │ sbceq r7, lr, r8, lsr #2 │ │ │ │ sbceq r7, lr, r0, lsr #2 │ │ │ │ sbceq r7, lr, r2, lsl r1 │ │ │ │ sbceq r6, fp, r2, ror lr │ │ │ │ sbceq r7, lr, sl, ror #1 │ │ │ │ - sbceq r7, lr, r2, ror #1 │ │ │ │ + ldrdeq r7, [lr], #10 │ │ │ │ ldrdeq r7, [lr], #2 │ │ │ │ sbceq r7, lr, sl, asr #1 │ │ │ │ strheq r7, [lr], #6 │ │ │ │ sbceq r7, lr, ip, lsr #1 │ │ │ │ sbceq r7, lr, ip, lsr #1 │ │ │ │ sbceq r7, lr, r4, lsr #1 │ │ │ │ smulleq r7, lr, ip, r0 │ │ │ │ @@ -45028,16 +45028,16 @@ │ │ │ │ sbceq r7, lr, r0, lsl #1 │ │ │ │ sbceq r7, lr, lr, ror r0 │ │ │ │ sbceq r7, lr, r6, ror r0 │ │ │ │ sbceq r7, lr, lr, rrx │ │ │ │ sbceq r7, lr, r2, rrx │ │ │ │ sbceq r7, lr, r6, asr r0 │ │ │ │ sbceq r7, lr, sl, asr r0 │ │ │ │ - sbceq r7, lr, r6, asr #32 │ │ │ │ - strheq sl, [sl], #22 │ │ │ │ + ldrdeq sl, [sl], #18 │ │ │ │ + sbceq r7, lr, sl, lsr #32 │ │ │ │ sbceq r7, lr, ip, lsl r0 │ │ │ │ sbceq r7, lr, ip │ │ │ │ strdeq r6, [lr], #248 @ 0xf8 │ │ │ │ sbceq r6, lr, ip, ror #31 │ │ │ │ sbceq r6, lr, r0, ror #31 │ │ │ │ ldrdeq r6, [lr], #242 @ 0xf2 │ │ │ │ sbceq r7, fp, r4, lsl #11 │ │ │ │ @@ -326515,15 +326515,15 @@ │ │ │ │ lsls r7, r7, #2 │ │ │ │ asrs r4, r2, #13 │ │ │ │ lsls r5, r0, #3 │ │ │ │ ldmia r3, {r1, r2, r3, r5, r6} │ │ │ │ lsls r7, r7, #2 │ │ │ │ ldmia r3, {r3, r5, r6} │ │ │ │ lsls r7, r7, #2 │ │ │ │ - bx ip │ │ │ │ + bx sl │ │ │ │ lsls r3, r0, #3 │ │ │ │ ldmia r3!, {r2, r4, r6} │ │ │ │ lsls r7, r7, #2 │ │ │ │ ldmia r3!, {r1, r4, r6} │ │ │ │ lsls r7, r7, #2 │ │ │ │ ldmia r3!, {r4, r6} │ │ │ │ lsls r7, r7, #2 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ str r1, [r2, #0] │ │ │ │ str r1, [r2, #8] │ │ │ │ bfi ip, r1, #0, #8 │ │ │ │ strb.w ip, [r2, #4] │ │ │ │ ldr.w ip, [r2, #12] │ │ │ │ bfi ip, r1, #0, #26 │ │ │ │ ldr r1, [r2, #4] │ │ │ │ -[ Too much input for diff (SHA256: 896ac249e873ef6ab011207f0387af84c364a8f275fea157ff2ee79f643cac49) ] │ │ │ │ +[ Too much input for diff (SHA256: 66fda99c2118baca8d08e22576df9cb1ab6a0264f94972ea775b2217c05c7e05) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -16358,17 +16358,17 @@ │ │ │ │ 0x00d69fc8 73732d6f 6e6c7900 70726572 65676973 ss-only.preregis │ │ │ │ 0x00d69fd8 7465722d 6d6f6465 00000000 7072696e ter-mode....prin │ │ │ │ 0x00d69fe8 742d636f 7265732d 66756c6c 00000000 t-cores-full.... │ │ │ │ 0x00d69ff8 7072696e 742d646f 742d636c 75737465 print-dot-cluste │ │ │ │ 0x00d6a008 72730000 7072696e 742d696e 73740000 rs..print-inst.. │ │ │ │ 0x00d6a018 7072696e 742d696e 73742d66 756c6c00 print-inst-full. │ │ │ │ 0x00d6a028 70726f64 7563652d 61626475 63747300 produce-abducts. │ │ │ │ - 0x00d6a038 696e7465 72616374 6976652d 6d6f6465 interactive-mode │ │ │ │ - 0x00d6a048 00000000 70726f64 7563652d 61737365 ....produce-asse │ │ │ │ - 0x00d6a058 7274696f 6e730000 70726f64 7563652d rtions..produce- │ │ │ │ + 0x00d6a038 70726f64 7563652d 61737365 7274696f produce-assertio │ │ │ │ + 0x00d6a048 6e730000 696e7465 72616374 6976652d ns..interactive- │ │ │ │ + 0x00d6a058 6d6f6465 00000000 70726f64 7563652d mode....produce- │ │ │ │ 0x00d6a068 61737369 676e6d65 6e747300 70726f64 assignments.prod │ │ │ │ 0x00d6a078 7563652d 64696666 6963756c 74790000 uce-difficulty.. │ │ │ │ 0x00d6a088 70726f64 7563652d 696e7465 72706f6c produce-interpol │ │ │ │ 0x00d6a098 616e7473 00000000 70726f64 7563652d ants....produce- │ │ │ │ 0x00d6a0a8 6c656172 6e65642d 6c697465 72616c73 learned-literals │ │ │ │ 0x00d6a0b8 00000000 70726f64 7563652d 70726f6f ....produce-proo │ │ │ │ 0x00d6a0c8 66730000 70726f64 7563652d 756e7361 fs..produce-unsa │ │ │ │ @@ -16395,16 +16395,16 @@ │ │ │ │ 0x00d6a218 2d726f77 2d6c656e 67746800 70757269 -row-length.puri │ │ │ │ 0x00d6a228 66792d74 72696767 65727300 7175616e fy-triggers.quan │ │ │ │ 0x00d6a238 742d616c 7068612d 65717569 76000000 t-alpha-equiv... │ │ │ │ 0x00d6a248 7175616e 742d6473 706c6974 00000000 quant-dsplit.... │ │ │ │ 0x00d6a258 7175616e 742d6675 6e2d7764 00000000 quant-fun-wd.... │ │ │ │ 0x00d6a268 7175616e 742d696e 64000000 7175616e quant-ind...quan │ │ │ │ 0x00d6a278 742d7265 702d6d6f 64650000 72616e64 t-rep-mode..rand │ │ │ │ - 0x00d6a288 6f6d2d66 72657175 656e6379 00000000 om-frequency.... │ │ │ │ - 0x00d6a298 72616e64 6f6d2d66 72657100 72616e64 random-freq.rand │ │ │ │ + 0x00d6a288 6f6d2d66 72657100 72616e64 6f6d2d66 om-freq.random-f │ │ │ │ + 0x00d6a298 72657175 656e6379 00000000 72616e64 requency....rand │ │ │ │ 0x00d6a2a8 6f6d2d70 61727469 74696f6e 696e6700 om-partitioning. │ │ │ │ 0x00d6a2b8 72652d65 6c696d00 72652d69 6e746572 re-elim.re-inter │ │ │ │ 0x00d6a2c8 2d6d6f64 65000000 72656769 73746572 -mode...register │ │ │ │ 0x00d6a2d8 2d717561 6e742d62 6f64792d 7465726d -quant-body-term │ │ │ │ 0x00d6a2e8 73000000 72656c61 74696f6e 616c2d74 s...relational-t │ │ │ │ 0x00d6a2f8 72696767 65727300 72656c65 76616e63 riggers.relevanc │ │ │ │ 0x00d6a308 652d6669 6c746572 00000000 72656c65 e-filter....rele │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -953,15 +953,15 @@ │ │ │ │ 0x00eb6a78 4499d600 9436d300 6499d600 6c99d600 D....6..d...l... │ │ │ │ 0x00eb6a88 7899d600 64d8d300 8c99d600 e038d300 x...d........8.. │ │ │ │ 0x00eb6a98 2024d300 a099d600 b099d600 f038d300 $...........8.. │ │ │ │ 0x00eb6aa8 c499d600 d899d600 e499d600 f899d600 ................ │ │ │ │ 0x00eb6ab8 049ad600 ac2dd400 0c9ad600 209ad600 .....-...... ... │ │ │ │ 0x00eb6ac8 f49ad600 2c9ad600 3c9ad600 4c9ad600 ....,...<...L... │ │ │ │ 0x00eb6ad8 5c9ad600 689ad600 789ad600 849ad600 \...h...x....... │ │ │ │ - 0x00eb6ae8 38a0d600 909ad600 a49ad600 b89ad600 8............... │ │ │ │ + 0x00eb6ae8 4ca0d600 909ad600 a49ad600 b89ad600 L............... │ │ │ │ 0x00eb6af8 cc3cd300 c89ad600 d89ad600 e49ad600 .<.............. │ │ │ │ 0x00eb6b08 049bd600 343dd300 0c9bd600 1c9bd600 ....4=.......... │ │ │ │ 0x00eb6b18 3c9bd600 549bd600 709bd600 849bd600 <...T...p....... │ │ │ │ 0x00eb6b28 949bd600 a89bd600 b89bd600 cc9bd600 ................ │ │ │ │ 0x00eb6b38 1499d600 e09bd600 f09bd600 089cd600 ................ │ │ │ │ 0x00eb6b48 1c9cd600 34d0d300 8c32d500 603dd300 ....4....2..`=.. │ │ │ │ 0x00eb6b58 309cd600 449cd600 509cd600 609cd600 0...D...P...`... │ │ │ │ @@ -976,23 +976,23 @@ │ │ │ │ 0x00eb6be8 649ed600 a8eed300 709ed600 7c9ed600 d.......p...|... │ │ │ │ 0x00eb6bf8 145ad300 909ed600 a09ed600 b89ed600 .Z.............. │ │ │ │ 0x00eb6c08 d09ed600 e49ed600 fc9ed600 109fd600 ................ │ │ │ │ 0x00eb6c18 ecaed600 209fd600 2c9fd600 3c9fd600 .... ...,...<... │ │ │ │ 0x00eb6c28 489fd600 589fd600 709fd600 849fd600 H...X...p....... │ │ │ │ 0x00eb6c38 9c9fd600 ac9fd600 c09fd600 d09fd600 ................ │ │ │ │ 0x00eb6c48 e49fd600 f89fd600 0ca0d600 18a0d600 ................ │ │ │ │ - 0x00eb6c58 54d5d200 28a0d600 4ca0d600 60a0d600 T...(...L...`... │ │ │ │ + 0x00eb6c58 54d5d200 28a0d600 38a0d600 60a0d600 T...(...8...`... │ │ │ │ 0x00eb6c68 74a0d600 88a0d600 a0a0d600 30fed300 t...........0... │ │ │ │ 0x00eb6c78 bca0d600 cca0d600 502bd500 e8a0d600 ........P+...... │ │ │ │ 0x00eb6c88 00a1d600 10a1d600 1ca1d600 30a1d600 ............0... │ │ │ │ 0x00eb6c98 40a1d600 54a1d600 68a1d600 7ca1d600 @...T...h...|... │ │ │ │ 0x00eb6ca8 88a1d600 98a1d600 a8a1d600 c0a1d600 ................ │ │ │ │ 0x00eb6cb8 d4a1d600 f4a1d600 14a2d600 24a2d600 ............$... │ │ │ │ 0x00eb6cc8 34a2d600 48a2d600 58a2d600 68a2d600 4...H...X...h... │ │ │ │ - 0x00eb6cd8 74a2d600 f09fd300 98a2d600 84a2d600 t............... │ │ │ │ + 0x00eb6cd8 74a2d600 f09fd300 84a2d600 90a2d600 t............... │ │ │ │ 0x00eb6ce8 a4a2d600 b8a2d600 c0a2d600 d0a2d600 ................ │ │ │ │ 0x00eb6cf8 64d5d200 eca2d600 00a3d600 14a3d600 d............... │ │ │ │ 0x00eb6d08 28a3d600 34a3d600 50a3d600 68a3d600 (...4...P...h... │ │ │ │ 0x00eb6d18 80a3d600 7cd5d200 94a3d600 a8a3d600 ....|........... │ │ │ │ 0x00eb6d28 b8a3d600 c8a3d600 e8a3d600 f0a3d600 ................ │ │ │ │ 0x00eb6d38 fca3d600 08a4d600 10a4d600 20a4d600 ............ ... │ │ │ │ 0x00eb6d48 30a4d600 3ca4d600 08aad300 4ca4d600 0...<.......L... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -361,16 +361,16 @@ │ │ │ │ 0x00ec1660 00000000 42020000 a4f3d700 00000000 ....B........... │ │ │ │ 0x00ec1670 00000000 43020000 d4a1d600 01000000 ....C........... │ │ │ │ 0x00ec1680 00000000 44020000 f4a1d600 01000000 ....D........... │ │ │ │ 0x00ec1690 00000000 45020000 1c9cd600 00000000 ....E........... │ │ │ │ 0x00ec16a0 00000000 46020000 bcf3d700 00000000 ....F........... │ │ │ │ 0x00ec16b0 00000000 47020000 34d0d300 01000000 ....G...4....... │ │ │ │ 0x00ec16c0 00000000 48020000 d09fd600 01000000 ....H........... │ │ │ │ - 0x00ec16d0 00000000 49020000 98a2d600 01000000 ....I........... │ │ │ │ - 0x00ec16e0 00000000 4a020000 84a2d600 01000000 ....J........... │ │ │ │ + 0x00ec16d0 00000000 49020000 84a2d600 01000000 ....I........... │ │ │ │ + 0x00ec16e0 00000000 4a020000 90a2d600 01000000 ....J........... │ │ │ │ 0x00ec16f0 00000000 4b020000 94a3d600 01000000 ....K........... │ │ │ │ 0x00ec1700 00000000 4c020000 a8a3d600 01000000 ....L........... │ │ │ │ 0x00ec1710 00000000 4d020000 20a4d600 01000000 ....M... ....... │ │ │ │ 0x00ec1720 00000000 4e020000 30a4d600 01000000 ....N...0....... │ │ │ │ 0x00ec1730 00000000 4f020000 90a7d600 00000000 ....O........... │ │ │ │ 0x00ec1740 00000000 50020000 d4f3d700 00000000 ....P........... │ │ │ │ 0x00ec1750 00000000 51020000 a492d600 00000000 ....Q........... │ │ │ │ @@ -696,16 +696,16 @@ │ │ │ │ 0x00ec2b50 00000000 91030000 94fed700 00000000 ................ │ │ │ │ 0x00ec2b60 00000000 92030000 2c9ed600 00000000 ........,....... │ │ │ │ 0x00ec2b70 00000000 93030000 b0fed700 00000000 ................ │ │ │ │ 0x00ec2b80 00000000 94030000 e49fd600 00000000 ................ │ │ │ │ 0x00ec2b90 00000000 95030000 c8fed700 00000000 ................ │ │ │ │ 0x00ec2ba0 00000000 96030000 28a0d600 00000000 ........(....... │ │ │ │ 0x00ec2bb0 00000000 97030000 dcfed700 00000000 ................ │ │ │ │ - 0x00ec2bc0 00000000 98030000 4ca0d600 00000000 ........L....... │ │ │ │ - 0x00ec2bd0 00000000 99030000 38a0d600 00000000 ........8....... │ │ │ │ + 0x00ec2bc0 00000000 98030000 38a0d600 00000000 ........8....... │ │ │ │ + 0x00ec2bd0 00000000 99030000 4ca0d600 00000000 ........L....... │ │ │ │ 0x00ec2be0 00000000 9a030000 f0fed700 00000000 ................ │ │ │ │ 0x00ec2bf0 00000000 9b030000 08ffd700 00000000 ................ │ │ │ │ 0x00ec2c00 00000000 9c030000 60a0d600 00000000 ........`....... │ │ │ │ 0x00ec2c10 00000000 9d030000 1cffd700 00000000 ................ │ │ │ │ 0x00ec2c20 00000000 9e030000 74a0d600 00000000 ........t....... │ │ │ │ 0x00ec2c30 00000000 9f030000 34ffd700 00000000 ........4....... │ │ │ │ 0x00ec2c40 00000000 a0030000 88a0d600 00000000 ................ │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 38623266 63656237 32393139 38343263 8b2fceb72919842c │ │ │ │ - 0x00000010 65313332 38306638 65356233 33376530 e13280f8e5b337e0 │ │ │ │ - 0x00000020 61303964 63312e64 65627567 00000000 a09dc1.debug.... │ │ │ │ - 0x00000030 0705d2f7 .... │ │ │ │ + 0x00000000 33323636 37643066 63346231 36303938 32667d0fc4b16098 │ │ │ │ + 0x00000010 38323932 37383732 64373432 66363763 82927872d742f67c │ │ │ │ + 0x00000020 38626631 38302e64 65627567 00000000 8bf180.debug.... │ │ │ │ + 0x00000030 b090ab02 ....