--- /srv/rebuilderd/tmp/rebuilderdQSsOgF/inputs/libcvc5-1_1.1.2-3_armhf.deb +++ /srv/rebuilderd/tmp/rebuilderdQSsOgF/out/libcvc5-1_1.1.2-3_armhf.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 5694348 2025-07-27 11:13:23.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 5693720 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/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: 9dd0c9652ba5d8cedd75232fb77b619c30a89cac │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: ce96fc8e64edb74f7e921f32861d7fbf40ecaae9 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -14033,16 +14033,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 {} │ │ │ │ @@ -43830,15 +43830,15 @@ │ │ │ │ ldrdeq sp, [lr], #168 @ 0xa8 │ │ │ │ ldrdeq sp, [lr], #166 @ 0xa6 │ │ │ │ ldrdeq r7, [fp], #196 @ 0xc4 │ │ │ │ strheq sp, [lr], #168 @ 0xa8 │ │ │ │ strheq sp, [lr], #168 @ 0xa8 │ │ │ │ strheq sp, [lr], #160 @ 0xa0 │ │ │ │ sbceq sp, lr, ip, lsr #21 │ │ │ │ - sbceq sp, lr, r0, lsr #21 │ │ │ │ + sbceq sp, lr, r8, lsr #21 │ │ │ │ sbceq r7, fp, r4, asr #25 │ │ │ │ sbceq sp, lr, r8, lsl #21 │ │ │ │ sbceq sp, lr, r4, lsl #21 │ │ │ │ sbceq sp, lr, lr, lsl #21 │ │ │ │ smulleq sp, lr, r6, sl │ │ │ │ smulleq sp, lr, lr, sl │ │ │ │ smulleq sp, lr, lr, sl │ │ │ │ @@ -44899,19 +44899,19 @@ │ │ │ │ strdeq sp, [lr], #94 @ 0x5e │ │ │ │ sbceq sp, lr, r0, lsl #12 │ │ │ │ sbceq sp, lr, lr, ror #11 │ │ │ │ ldrdeq sp, [lr], #92 @ 0x5c │ │ │ │ ldrdeq sp, [lr], #90 @ 0x5a │ │ │ │ ldrdeq sp, [lr], #84 @ 0x54 │ │ │ │ sbceq r2, lr, r0, ror #12 │ │ │ │ - strheq r1, [fp], #142 @ 0x8e │ │ │ │ - smulleq r1, lr, r4, r0 │ │ │ │ + sbceq r1, lr, lr, lsr #1 │ │ │ │ + sbceq r1, fp, r4, lsr #17 │ │ │ │ sbceq sp, lr, sl, lsl #11 │ │ │ │ - strheq r2, [ip], #92 @ 0x5c │ │ │ │ - sbceq sp, lr, lr, asr r5 │ │ │ │ + sbceq sp, lr, r8, ror r5 │ │ │ │ + sbceq r2, ip, r2, lsr #11 │ │ │ │ sbceq sp, lr, r0, asr r5 │ │ │ │ sbceq sp, lr, r2, asr #10 │ │ │ │ sbcseq sl, r0, r2, lsl r3 │ │ │ │ sbceq sp, lr, r4, lsr #10 │ │ │ │ sbceq sp, lr, sl, lsl r5 │ │ │ │ sbceq sp, lr, r8, lsl r5 │ │ │ │ sbceq sp, lr, r6, lsl r5 │ │ │ │ @@ -44966,15 +44966,15 @@ │ │ │ │ sbceq sp, lr, r0, asr r3 │ │ │ │ sbceq sp, lr, sl, asr #6 │ │ │ │ sbceq sp, lr, r0, asr #6 │ │ │ │ sbceq sp, lr, r8, lsr r3 │ │ │ │ sbceq sp, lr, sl, lsr #6 │ │ │ │ sbceq sp, fp, sl, lsl #1 │ │ │ │ sbceq sp, lr, r2, lsl #6 │ │ │ │ - strdeq sp, [lr], #42 @ 0x2a │ │ │ │ + strdeq sp, [lr], #34 @ 0x22 │ │ │ │ sbceq sp, lr, sl, ror #5 │ │ │ │ sbceq sp, lr, r2, ror #5 │ │ │ │ sbceq sp, lr, lr, asr #5 │ │ │ │ sbceq sp, lr, r4, asr #5 │ │ │ │ sbceq sp, lr, r4, asr #5 │ │ │ │ strheq sp, [lr], #44 @ 0x2c │ │ │ │ strheq sp, [lr], #36 @ 0x24 │ │ │ │ @@ -45006,16 +45006,16 @@ │ │ │ │ sbceq sp, lr, r4, lsl #3 │ │ │ │ sbceq sp, lr, r2, lsl #3 │ │ │ │ sbceq sp, lr, ip, ror r1 │ │ │ │ sbceq sp, lr, r0, ror r1 │ │ │ │ sbceq sp, lr, r6, ror #2 │ │ │ │ sbceq sp, lr, r0, ror #2 │ │ │ │ sbceq sp, lr, r6, asr r1 │ │ │ │ - sbceq pc, fp, r8, ror #24 │ │ │ │ - sbceq sp, lr, sl, lsr r1 │ │ │ │ + sbceq sp, lr, r4, asr r1 │ │ │ │ + sbceq pc, fp, lr, asr #24 │ │ │ │ sbceq sp, lr, r4, lsr r1 │ │ │ │ sbceq sp, lr, lr, lsr #2 │ │ │ │ ldrcs pc, [ip, #2243] @ 0x8c3 │ │ │ │ mrcle 3, 6, APSR_nzcv, cr4, cr14, {5} │ │ │ │ svcne 0x00a8f8df │ │ │ │ bicspl pc, fp, #4, 10 @ 0x1000000 │ │ │ │ andspl pc, r6, r5, lsl #10 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ mov.w r1, #65280 @ 0xff00 │ │ │ │ movt r1, #4095 @ 0xfff │ │ │ │ bics.w r2, r1, r3 │ │ │ │ beq.n b5da80 , std::allocator > >::_M_realloc_append >(std::pair&&)@@Base+0x14d5c> │ │ │ │ ubfx r2, r3, #8, #20 │ │ │ │ add.w r2, r2, #1044480 @ 0xff000 │ │ │ │ addw r2, r2, #4095 @ 0xfff │ │ │ │ -[ Too much input for diff (SHA256: 1299c3ff7729aba6a2c04c53656c5fce0601d550e02f69b231e335509cd3dc8a) ] │ │ │ │ +[ Too much input for diff (SHA256: dddd8b3aadb41f310bf78bf8875a89c55900e4bd97b1f70c137814c1101ddc14) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -16273,17 +16273,17 @@ │ │ │ │ 0x00d6f888 696e742d 77662d69 6e640000 696e7465 int-wf-ind..inte │ │ │ │ 0x00d6f898 72616374 69766500 696e7465 72706f6c ractive.interpol │ │ │ │ 0x00d6f8a8 616e7473 2d6d6f64 65000000 6974652d ants-mode...ite- │ │ │ │ 0x00d6f8b8 6474742d 73706c69 742d7175 616e7400 dtt-split-quant. │ │ │ │ 0x00d6f8c8 6974652d 6c696674 2d717561 6e740000 ite-lift-quant.. │ │ │ │ 0x00d6f8d8 6a682d72 6c762d6f 72646572 00000000 jh-rlv-order.... │ │ │ │ 0x00d6f8e8 6a682d73 6b6f6c65 6d000000 6a682d73 jh-skolem...jh-s │ │ │ │ - 0x00d6f8f8 6b6f6c65 6d2d726c 76000000 6c616e67 kolem-rlv...lang │ │ │ │ - 0x00d6f908 00000000 696e7075 742d6c61 6e677561 ....input-langua │ │ │ │ - 0x00d6f918 67650000 6c656d6d 612d696e 70726f63 ge..lemma-inproc │ │ │ │ + 0x00d6f8f8 6b6f6c65 6d2d726c 76000000 696e7075 kolem-rlv...inpu │ │ │ │ + 0x00d6f908 742d6c61 6e677561 67650000 6c616e67 t-language..lang │ │ │ │ + 0x00d6f918 00000000 6c656d6d 612d696e 70726f63 ....lemma-inproc │ │ │ │ 0x00d6f928 65737300 6c656d6d 612d696e 70726f63 ess.lemma-inproc │ │ │ │ 0x00d6f938 6573732d 696e6665 722d6571 2d6c6974 ess-infer-eq-lit │ │ │ │ 0x00d6f948 00000000 6c656d6d 612d696e 70726f63 ....lemma-inproc │ │ │ │ 0x00d6f958 6573732d 73756273 00000000 6c656d6d ess-subs....lemm │ │ │ │ 0x00d6f968 61732d6f 6e2d7265 706c6179 2d666169 as-on-replay-fai │ │ │ │ 0x00d6f978 6c757265 00000000 6c667363 2d657870 lure....lfsc-exp │ │ │ │ 0x00d6f988 616e642d 74727573 74000000 6c667363 and-trust...lfsc │ │ │ │ @@ -16395,16 +16395,16 @@ │ │ │ │ 0x00d70028 2d726f77 2d6c656e 67746800 70757269 -row-length.puri │ │ │ │ 0x00d70038 66792d74 72696767 65727300 7175616e fy-triggers.quan │ │ │ │ 0x00d70048 742d616c 7068612d 65717569 76000000 t-alpha-equiv... │ │ │ │ 0x00d70058 7175616e 742d6473 706c6974 00000000 quant-dsplit.... │ │ │ │ 0x00d70068 7175616e 742d6675 6e2d7764 00000000 quant-fun-wd.... │ │ │ │ 0x00d70078 7175616e 742d696e 64000000 7175616e quant-ind...quan │ │ │ │ 0x00d70088 742d7265 702d6d6f 64650000 72616e64 t-rep-mode..rand │ │ │ │ - 0x00d70098 6f6d2d66 72657175 656e6379 00000000 om-frequency.... │ │ │ │ - 0x00d700a8 72616e64 6f6d2d66 72657100 72616e64 random-freq.rand │ │ │ │ + 0x00d70098 6f6d2d66 72657100 72616e64 6f6d2d66 om-freq.random-f │ │ │ │ + 0x00d700a8 72657175 656e6379 00000000 72616e64 requency....rand │ │ │ │ 0x00d700b8 6f6d2d70 61727469 74696f6e 696e6700 om-partitioning. │ │ │ │ 0x00d700c8 72652d65 6c696d00 72652d69 6e746572 re-elim.re-inter │ │ │ │ 0x00d700d8 2d6d6f64 65000000 72656769 73746572 -mode...register │ │ │ │ 0x00d700e8 2d717561 6e742d62 6f64792d 7465726d -quant-body-term │ │ │ │ 0x00d700f8 73000000 72656c61 74696f6e 616c2d74 s...relational-t │ │ │ │ 0x00d70108 72696767 65727300 72656c65 76616e63 riggers.relevanc │ │ │ │ 0x00d70118 652d6669 6c746572 00000000 72656c65 e-filter....rele │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -951,19 +951,19 @@ │ │ │ │ 0x00ec6a60 e0f6d600 ecf6d600 fcf6d600 0cf7d600 ................ │ │ │ │ 0x00ec6a70 14f7d600 20f7d600 2cf7d600 48f7d600 .... ...,...H... │ │ │ │ 0x00ec6a80 54f7d600 a494d300 74f7d600 7cf7d600 T.......t...|... │ │ │ │ 0x00ec6a90 88f7d600 7436d400 9cf7d600 f096d300 ....t6.......... │ │ │ │ 0x00ec6aa0 3082d300 b0f7d600 c0f7d600 0097d300 0............... │ │ │ │ 0x00ec6ab0 d4f7d600 e8f7d600 f4f7d600 08f8d600 ................ │ │ │ │ 0x00ec6ac0 14f8d600 bc8bd400 1cf8d600 30f8d600 ............0... │ │ │ │ - 0x00ec6ad0 0cf9d600 3cf8d600 4cf8d600 5cf8d600 ....<...L...\... │ │ │ │ + 0x00ec6ad0 04f9d600 3cf8d600 4cf8d600 5cf8d600 ....<...L...\... │ │ │ │ 0x00ec6ae0 6cf8d600 78f8d600 88f8d600 94f8d600 l...x........... │ │ │ │ 0x00ec6af0 48fed600 a0f8d600 b4f8d600 c8f8d600 H............... │ │ │ │ 0x00ec6b00 dc9ad300 d8f8d600 e8f8d600 f4f8d600 ................ │ │ │ │ - 0x00ec6b10 04f9d600 449bd300 1cf9d600 2cf9d600 ....D.......,... │ │ │ │ + 0x00ec6b10 14f9d600 449bd300 1cf9d600 2cf9d600 ....D.......,... │ │ │ │ 0x00ec6b20 4cf9d600 64f9d600 80f9d600 94f9d600 L...d........... │ │ │ │ 0x00ec6b30 a4f9d600 b8f9d600 c8f9d600 dcf9d600 ................ │ │ │ │ 0x00ec6b40 24f7d600 f0f9d600 00fad600 18fad600 $............... │ │ │ │ 0x00ec6b50 2cfad600 442ed400 9c90d500 709bd300 ,...D.......p... │ │ │ │ 0x00ec6b60 40fad600 54fad600 60fad600 70fad600 @...T...`...p... │ │ │ │ 0x00ec6b70 88fad600 9cfad600 b4fad600 ccfad600 ................ │ │ │ │ 0x00ec6b80 e8fad600 f4fad600 fcfad600 0cfbd600 ................ │ │ │ │ @@ -984,15 +984,15 @@ │ │ │ │ 0x00ec6c70 84fed600 98fed600 b0fed600 405cd400 ............@\.. │ │ │ │ 0x00ec6c80 ccfed600 dcfed600 6089d500 f8fed600 ........`....... │ │ │ │ 0x00ec6c90 10ffd600 20ffd600 2cffd600 40ffd600 .... ...,...@... │ │ │ │ 0x00ec6ca0 50ffd600 64ffd600 78ffd600 8cffd600 P...d...x....... │ │ │ │ 0x00ec6cb0 98ffd600 a8ffd600 b8ffd600 d0ffd600 ................ │ │ │ │ 0x00ec6cc0 e4ffd600 0400d700 2400d700 3400d700 ........$...4... │ │ │ │ 0x00ec6cd0 4400d700 5800d700 6800d700 7800d700 D...X...h...x... │ │ │ │ - 0x00ec6ce0 8400d700 00fed300 a800d700 9400d700 ................ │ │ │ │ + 0x00ec6ce0 8400d700 00fed300 9400d700 a000d700 ................ │ │ │ │ 0x00ec6cf0 b400d700 c800d700 d000d700 e000d700 ................ │ │ │ │ 0x00ec6d00 6c3fd300 fc00d700 1001d700 2401d700 l?..........$... │ │ │ │ 0x00ec6d10 3801d700 4401d700 6001d700 7801d700 8...D...`...x... │ │ │ │ 0x00ec6d20 9001d700 843fd300 a401d700 b801d700 .....?.......... │ │ │ │ 0x00ec6d30 c801d700 d801d700 f801d700 0002d700 ................ │ │ │ │ 0x00ec6d40 0c02d700 1802d700 2002d700 3002d700 ........ ...0... │ │ │ │ 0x00ec6d50 4002d700 4c02d700 1808d400 5c02d700 @...L.......\... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -148,16 +148,16 @@ │ │ │ │ 0x00ed0910 00000000 6d010000 5c2ed400 00000000 ....m...\....... │ │ │ │ 0x00ed0920 00000000 6e010000 a04bd800 00000000 ....n....K...... │ │ │ │ 0x00ed0930 00000000 6f010000 20f6d600 01000000 ....o... ....... │ │ │ │ 0x00ed0940 00000000 70010000 403fd300 01000000 ....p...@?...... │ │ │ │ 0x00ed0950 00000000 71010000 bc8bd400 01000000 ....q........... │ │ │ │ 0x00ed0960 00000000 72010000 30f8d600 00000000 ....r...0....... │ │ │ │ 0x00ed0970 00000000 73010000 b84bd800 00000000 ....s....K...... │ │ │ │ - 0x00ed0980 00000000 74010000 04f9d600 01000000 ....t........... │ │ │ │ - 0x00ed0990 00000000 75010000 0cf9d600 01000000 ....u........... │ │ │ │ + 0x00ed0980 00000000 74010000 14f9d600 01000000 ....t........... │ │ │ │ + 0x00ed0990 00000000 75010000 04f9d600 01000000 ....u........... │ │ │ │ 0x00ed09a0 00000000 76010000 5c37d600 01000000 ....v...\7...... │ │ │ │ 0x00ed09b0 00000000 77010000 6c3fd300 01000000 ....w...l?...... │ │ │ │ 0x00ed09c0 00000000 78010000 6cfcd600 01000000 ....x...l....... │ │ │ │ 0x00ed09d0 00000000 79010000 80fcd600 00000000 ....y........... │ │ │ │ 0x00ed09e0 00000000 7a010000 c84bd800 00000000 ....z....K...... │ │ │ │ 0x00ed09f0 00000000 7b010000 d0fdd600 00000000 ....{........... │ │ │ │ 0x00ed0a00 00000000 7c010000 d84bd800 00000000 ....|....K...... │ │ │ │ @@ -361,16 +361,16 @@ │ │ │ │ 0x00ed1660 00000000 42020000 b451d800 00000000 ....B....Q...... │ │ │ │ 0x00ed1670 00000000 43020000 e4ffd600 01000000 ....C........... │ │ │ │ 0x00ed1680 00000000 44020000 0400d700 01000000 ....D........... │ │ │ │ 0x00ed1690 00000000 45020000 2cfad600 00000000 ....E...,....... │ │ │ │ 0x00ed16a0 00000000 46020000 cc51d800 00000000 ....F....Q...... │ │ │ │ 0x00ed16b0 00000000 47020000 442ed400 01000000 ....G...D....... │ │ │ │ 0x00ed16c0 00000000 48020000 e0fdd600 01000000 ....H........... │ │ │ │ - 0x00ed16d0 00000000 49020000 a800d700 01000000 ....I........... │ │ │ │ - 0x00ed16e0 00000000 4a020000 9400d700 01000000 ....J........... │ │ │ │ + 0x00ed16d0 00000000 49020000 9400d700 01000000 ....I........... │ │ │ │ + 0x00ed16e0 00000000 4a020000 a000d700 01000000 ....J........... │ │ │ │ 0x00ed16f0 00000000 4b020000 a401d700 01000000 ....K........... │ │ │ │ 0x00ed1700 00000000 4c020000 b801d700 01000000 ....L........... │ │ │ │ 0x00ed1710 00000000 4d020000 3002d700 01000000 ....M...0....... │ │ │ │ 0x00ed1720 00000000 4e020000 4002d700 01000000 ....N...@....... │ │ │ │ 0x00ed1730 00000000 4f020000 a005d700 00000000 ....O........... │ │ │ │ 0x00ed1740 00000000 50020000 e451d800 00000000 ....P....Q...... │ │ │ │ 0x00ed1750 00000000 51020000 b4f0d600 00000000 ....Q........... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 64306339 36353262 61356438 63656464 d0c9652ba5d8cedd │ │ │ │ - 0x00000010 37353233 32666237 37623631 39633330 75232fb77b619c30 │ │ │ │ - 0x00000020 61383963 61632e64 65627567 00000000 a89cac.debug.... │ │ │ │ - 0x00000030 5f68e2fe _h.. │ │ │ │ + 0x00000000 39366663 38653634 65646237 34663765 96fc8e64edb74f7e │ │ │ │ + 0x00000010 39323166 33323836 31643766 62663430 921f32861d7fbf40 │ │ │ │ + 0x00000020 65636161 65392e64 65627567 00000000 ecaae9.debug.... │ │ │ │ + 0x00000030 308a62b3 0.b.