--- /srv/rebuilderd/tmp/rebuilderd4iIrg2/inputs/libcvc5-1_1.1.2-2+b3_armel.deb +++ /srv/rebuilderd/tmp/rebuilderd4iIrg2/out/libcvc5-1_1.1.2-2+b3_armel.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-01-09 11:38:25.000000 debian-binary │ --rw-r--r-- 0 0 0 1308 2025-01-09 11:38:25.000000 control.tar.xz │ --rw-r--r-- 0 0 0 5781428 2025-01-09 11:38:25.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 1312 2025-01-09 11:38:25.000000 control.tar.xz │ +-rw-r--r-- 0 0 0 5780548 2025-01-09 11:38:25.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/arm-linux-gnueabi/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: 690b139e38439844af514f9a07966673f9475b83 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 81402a0172aaa0faa56d98d7bc87da4393daab32 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -8964,16 +8964,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 {} │ │ │ │ @@ -77846,16 +77846,16 @@ │ │ │ │ teqeq r2, r8, asr r2 │ │ │ │ teqeq r2, r8, asr r2 │ │ │ │ teqeq r2, r0, ror #4 │ │ │ │ teqeq r2, r4, asr r2 │ │ │ │ teqeq r2, r4, asr #4 │ │ │ │ teqeq r2, r8, lsr r2 │ │ │ │ teqeq r2, r0, lsr r2 │ │ │ │ - teqeq r2, r4, lsr #4 │ │ │ │ - teqeq r4, r4, lsr #23 │ │ │ │ + teqeq r4, r0, asr #23 │ │ │ │ + teqeq r2, r8, lsl #4 │ │ │ │ teqeq r1, r8, ror fp │ │ │ │ teqeq r2, r8, ror #3 │ │ │ │ teqeq r2, ip @ │ │ │ │ teqeq r2, r0 @ │ │ │ │ teqeq r2, r0, asr #3 │ │ │ │ teqeq r2, r8 @ │ │ │ │ teqeq r2, r4, lsr #3 │ │ │ │ @@ -77882,16 +77882,16 @@ │ │ │ │ ldrheq r7, [r2, -ip]! │ │ │ │ ldrheq r7, [r2, -r0]! │ │ │ │ teqeq r2, r8, lsr #1 │ │ │ │ teqeq r2, r0, lsr #1 │ │ │ │ @ instruction: 0x01327094 │ │ │ │ teqeq r2, r8, lsl #1 │ │ │ │ teqeq r2, r8, lsl #1 │ │ │ │ - teqeq r2, r8, ror r0 │ │ │ │ - @ instruction: 0x012eadac │ │ │ │ + smlawteq lr, r8, sp, sl │ │ │ │ + teqeq r2, ip, asr r0 │ │ │ │ teqeq r2, r4, asr #32 │ │ │ │ teqeq r2, r8, asr #32 │ │ │ │ teqeq r2, r4, lsr r0 │ │ │ │ teqeq r2, r8, lsr #32 │ │ │ │ teqeq r2, r0, lsr #32 │ │ │ │ @ instruction: 0x012f0e4c │ │ │ │ @ instruction: 0x012f0e38 │ │ │ │ @@ -77941,15 +77941,15 @@ │ │ │ │ teqeq r2, ip, asr #16 │ │ │ │ teqeq r2, r4, asr #16 │ │ │ │ @ instruction: 0x012f0a64 │ │ │ │ teqeq r2, r4, lsr #16 │ │ │ │ teqeq r2, r4, lsl r8 │ │ │ │ teqeq r2, r4, lsl #16 │ │ │ │ teqeq r2, r8 @ │ │ │ │ - teqeq r2, r4, ror #15 │ │ │ │ + teqeq r2, ip, ror #15 │ │ │ │ @ instruction: 0x012f0a28 │ │ │ │ teqeq r2, ip @ │ │ │ │ teqeq r2, r0 @ │ │ │ │ teqeq r2, r4 @ │ │ │ │ teqeq r2, r0 @ │ │ │ │ teqeq r2, r0 @ │ │ │ │ teqeq r2, r8, lsr #15 │ │ │ │ @@ -77995,27 +77995,27 @@ │ │ │ │ teqeq r2, r4 @ │ │ │ │ teqeq r2, r4 @ │ │ │ │ teqeq r2, r0, lsr #11 │ │ │ │ teqeq r2, ip, lsl #11 │ │ │ │ teqeq r2, r8, lsl #11 │ │ │ │ teqeq r2, r0, lsl #11 │ │ │ │ teqeq r1, r8, lsr #12 │ │ │ │ - teqeq r1, r4, ror r0 │ │ │ │ - @ instruction: 0x012e9c78 │ │ │ │ + @ instruction: 0x012e9c94 │ │ │ │ + teqeq r1, r8, asr r0 │ │ │ │ teqeq r2, ip, lsr #10 │ │ │ │ teqeq r2, r8, lsl r5 │ │ │ │ @ instruction: 0x012fb568 │ │ │ │ teqeq r2, ip, ror #9 │ │ │ │ teqeq r2, r0, ror #9 │ │ │ │ teqeq r4, r8, lsr #5 │ │ │ │ teqeq r2, ip @ │ │ │ │ teqeq r2, r0 @ │ │ │ │ teqeq r2, ip, lsr #9 │ │ │ │ - teqeq r2, r8, lsr #9 │ │ │ │ - strdeq r1, [pc, -r8]! │ │ │ │ + @ instruction: 0x012f2014 │ │ │ │ + teqeq r2, ip, lsl #9 │ │ │ │ teqeq r2, r4, lsl #9 │ │ │ │ teqeq r2, r0, lsl #9 │ │ │ │ teqeq r2, r8, ror r4 │ │ │ │ teqeq r2, ip, ror #8 │ │ │ │ teqeq r2, ip, asr r4 │ │ │ │ teqeq r2, r0, asr r4 │ │ │ │ teqeq r2, r0, asr #8 │ │ │ │ @@ -80138,15 +80138,15 @@ │ │ │ │ bl 123602c │ │ │ │ ldr r1, [pc, #980] @ a60f4 )@plt+0x4e7fc> │ │ │ │ add r0, r4, #12288 @ 0x3000 │ │ │ │ mov r3, #428 @ 0x1ac │ │ │ │ add r1, pc, r1 │ │ │ │ add r0, r0, #32 │ │ │ │ b a6278 )@plt+0x4e980> │ │ │ │ - teqeq r2, ip, asr r2 │ │ │ │ + teqeq r2, r4, asr r2 │ │ │ │ teqeq r2, ip, asr #4 │ │ │ │ teqeq r2, r4, asr #4 │ │ │ │ andeq r0, r0, r5, lsr #2 │ │ │ │ teqeq r2, r4, lsr r2 │ │ │ │ andeq r0, r0, r6, lsr #2 │ │ │ │ teqeq r2, r8, lsr #4 │ │ │ │ andeq r0, r0, r7, lsr #2 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ mov r0, ip │ │ │ │ str r3, [ip, #4] │ │ │ │ bl 540a0 │ │ │ │ ldr r1, [sp, #4] │ │ │ │ b 1055a58 , std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::_M_insert_unique_node(unsigned int, unsigned int, std::__detail::_Hash_node, true>*, unsigned int)@@Base+0x36aec> │ │ │ │ bl 56920 │ │ │ │ b 1055aa4 , std::allocator >, std::__detail::_Select1st, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::_M_insert_unique_node(unsigned int, unsigned int, std::__detail::_Hash_node, true>*, unsigned int)@@Base+0x36b38> │ │ │ │ -[ Too much input for diff (SHA256: e9f3d1f9a810e18f9ae1353d3bc405e0b9809c2de06355ebfd5422f8efc2c3c3) ] │ │ │ │ +[ Too much input for diff (SHA256: d9bd9dc88404f99b72bcffaef833cfc111e89a1e8a4c6f6c007148ae68527c39) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -16271,16 +16271,16 @@ │ │ │ │ 0x013ca788 6e640000 696e7465 72616374 69766500 nd..interactive. │ │ │ │ 0x013ca798 696e7465 72706f6c 616e7473 2d6d6f64 interpolants-mod │ │ │ │ 0x013ca7a8 65000000 6974652d 6474742d 73706c69 e...ite-dtt-spli │ │ │ │ 0x013ca7b8 742d7175 616e7400 6974652d 6c696674 t-quant.ite-lift │ │ │ │ 0x013ca7c8 2d717561 6e740000 6a682d72 6c762d6f -quant..jh-rlv-o │ │ │ │ 0x013ca7d8 72646572 00000000 6a682d73 6b6f6c65 rder....jh-skole │ │ │ │ 0x013ca7e8 6d000000 6a682d73 6b6f6c65 6d2d726c m...jh-skolem-rl │ │ │ │ - 0x013ca7f8 76000000 6c616e67 00000000 696e7075 v...lang....inpu │ │ │ │ - 0x013ca808 742d6c61 6e677561 67650000 6c656d6d t-language..lemm │ │ │ │ + 0x013ca7f8 76000000 696e7075 742d6c61 6e677561 v...input-langua │ │ │ │ + 0x013ca808 67650000 6c616e67 00000000 6c656d6d ge..lang....lemm │ │ │ │ 0x013ca818 612d696e 70726f63 65737300 6c656d6d a-inprocess.lemm │ │ │ │ 0x013ca828 612d696e 70726f63 6573732d 696e6665 a-inprocess-infe │ │ │ │ 0x013ca838 722d6571 2d6c6974 00000000 6c656d6d r-eq-lit....lemm │ │ │ │ 0x013ca848 612d696e 70726f63 6573732d 73756273 a-inprocess-subs │ │ │ │ 0x013ca858 00000000 6c656d6d 61732d6f 6e2d7265 ....lemmas-on-re │ │ │ │ 0x013ca868 706c6179 2d666169 6c757265 00000000 play-failure.... │ │ │ │ 0x013ca878 6c667363 2d657870 616e642d 74727573 lfsc-expand-trus │ │ │ │ @@ -16392,17 +16392,17 @@ │ │ │ │ 0x013caf18 69740000 70726f70 2d726f77 2d6c656e it..prop-row-len │ │ │ │ 0x013caf28 67746800 70757269 66792d74 72696767 gth.purify-trigg │ │ │ │ 0x013caf38 65727300 7175616e 742d616c 7068612d ers.quant-alpha- │ │ │ │ 0x013caf48 65717569 76000000 7175616e 742d6473 equiv...quant-ds │ │ │ │ 0x013caf58 706c6974 00000000 7175616e 742d6675 plit....quant-fu │ │ │ │ 0x013caf68 6e2d7764 00000000 7175616e 742d696e n-wd....quant-in │ │ │ │ 0x013caf78 64000000 7175616e 742d7265 702d6d6f d...quant-rep-mo │ │ │ │ - 0x013caf88 64650000 72616e64 6f6d2d66 72657175 de..random-frequ │ │ │ │ - 0x013caf98 656e6379 00000000 72616e64 6f6d2d66 ency....random-f │ │ │ │ - 0x013cafa8 72657100 72616e64 6f6d2d70 61727469 req.random-parti │ │ │ │ + 0x013caf88 64650000 72616e64 6f6d2d66 72657100 de..random-freq. │ │ │ │ + 0x013caf98 72616e64 6f6d2d66 72657175 656e6379 random-frequency │ │ │ │ + 0x013cafa8 00000000 72616e64 6f6d2d70 61727469 ....random-parti │ │ │ │ 0x013cafb8 74696f6e 696e6700 72652d65 6c696d00 tioning.re-elim. │ │ │ │ 0x013cafc8 72652d69 6e746572 2d6d6f64 65000000 re-inter-mode... │ │ │ │ 0x013cafd8 72656769 73746572 2d717561 6e742d62 register-quant-b │ │ │ │ 0x013cafe8 6f64792d 7465726d 73000000 72656c61 ody-terms...rela │ │ │ │ 0x013caff8 74696f6e 616c2d74 72696767 65727300 tional-triggers. │ │ │ │ 0x013cb008 72656c65 76616e63 652d6669 6c746572 relevance-filter │ │ │ │ 0x013cb018 00000000 72656c65 76616e74 2d747269 ....relevant-tri │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -951,19 +951,19 @@ │ │ │ │ 0x015269f8 d8a53c01 e4a53c01 f4a53c01 04a63c01 ..<...<...<...<. │ │ │ │ 0x01526a08 0ca63c01 18a63c01 24a63c01 40a63c01 ..<...<.$.<.@.<. │ │ │ │ 0x01526a18 4ca63c01 c4433901 6ca63c01 74a63c01 L.<..C9.l.<.t.<. │ │ │ │ 0x01526a28 80a63c01 94e53901 94a63c01 10463901 ..<...9...<..F9. │ │ │ │ 0x01526a38 50313901 a8a63c01 b8a63c01 20463901 P19...<...<. F9. │ │ │ │ 0x01526a48 cca63c01 e0a63c01 eca63c01 00a73c01 ..<...<...<...<. │ │ │ │ 0x01526a58 0ca73c01 d83a3a01 14a73c01 28a73c01 ..<..::...<.(.<. │ │ │ │ - 0x01526a68 04a83c01 34a73c01 44a73c01 54a73c01 ..<.4.<.D.<.T.<. │ │ │ │ + 0x01526a68 fca73c01 34a73c01 44a73c01 54a73c01 ..<.4.<.D.<.T.<. │ │ │ │ 0x01526a78 64a73c01 70a73c01 80a73c01 8ca73c01 d.<.p.<...<...<. │ │ │ │ 0x01526a88 54ad3c01 98a73c01 aca73c01 c0a73c01 T.<...<...<...<. │ │ │ │ 0x01526a98 fc493901 d0a73c01 e0a73c01 eca73c01 .I9...<...<...<. │ │ │ │ - 0x01526aa8 fca73c01 644a3901 14a83c01 24a83c01 ..<.dJ9...<.$.<. │ │ │ │ + 0x01526aa8 0ca83c01 644a3901 14a83c01 24a83c01 ..<.dJ9...<.$.<. │ │ │ │ 0x01526ab8 44a83c01 5ca83c01 78a83c01 8ca83c01 D.<.\.<.x.<...<. │ │ │ │ 0x01526ac8 9ca83c01 b0a83c01 c0a83c01 d4a83c01 ..<...<...<...<. │ │ │ │ 0x01526ad8 1ca63c01 e8a83c01 f8a83c01 10a93c01 ..<...<...<...<. │ │ │ │ 0x01526ae8 24a93c01 64dd3901 b83f3b01 904a3901 $.<.d.9..?;..J9. │ │ │ │ 0x01526af8 38a93c01 4ca93c01 58a93c01 68a93c01 8.<.L.<.X.<.h.<. │ │ │ │ 0x01526b08 80a93c01 94a93c01 aca93c01 c4a93c01 ..<...<...<...<. │ │ │ │ 0x01526b18 e0a93c01 eca93c01 f4a93c01 04aa3c01 ..<...<...<...<. │ │ │ │ @@ -984,15 +984,15 @@ │ │ │ │ 0x01526c08 7cad3c01 90ad3c01 a8ad3c01 5c0b3a01 |.<...<...<.\.:. │ │ │ │ 0x01526c18 c4ad3c01 d4ad3c01 7c383b01 f0ad3c01 ..<...<.|8;...<. │ │ │ │ 0x01526c28 08ae3c01 18ae3c01 24ae3c01 38ae3c01 ..<...<.$.<.8.<. │ │ │ │ 0x01526c38 48ae3c01 5cae3c01 70ae3c01 84ae3c01 H.<.\.<.p.<...<. │ │ │ │ 0x01526c48 90ae3c01 a0ae3c01 b0ae3c01 c8ae3c01 ..<...<...<...<. │ │ │ │ 0x01526c58 dcae3c01 fcae3c01 1caf3c01 2caf3c01 ..<...<...<.,.<. │ │ │ │ 0x01526c68 3caf3c01 50af3c01 60af3c01 70af3c01 <.<.P.<.`.<.p.<. │ │ │ │ - 0x01526c78 7caf3c01 20ad3901 a0af3c01 8caf3c01 |.<. .9...<...<. │ │ │ │ + 0x01526c78 7caf3c01 20ad3901 8caf3c01 98af3c01 |.<. .9...<...<. │ │ │ │ 0x01526c88 acaf3c01 c0af3c01 c8af3c01 d8af3c01 ..<...<...<...<. │ │ │ │ 0x01526c98 94e23801 f4af3c01 08b03c01 1cb03c01 ..8...<...<...<. │ │ │ │ 0x01526ca8 30b03c01 3cb03c01 58b03c01 70b03c01 0.<.<.<.X.<.p.<. │ │ │ │ 0x01526cb8 88b03c01 ace23801 9cb03c01 b0b03c01 ..<...8...<...<. │ │ │ │ 0x01526cc8 c0b03c01 d0b03c01 f0b03c01 f8b03c01 ..<...<...<...<. │ │ │ │ 0x01526cd8 04b13c01 10b13c01 18b13c01 28b13c01 ..<...<...<.(.<. │ │ │ │ 0x01526ce8 38b13c01 44b13c01 60b73901 54b13c01 8.<.D.<.`.9.T.<. │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -148,16 +148,16 @@ │ │ │ │ 0x01530910 00000000 6d010000 7cdd3901 00000000 ....m...|.9..... │ │ │ │ 0x01530920 00000000 6e010000 98fa3d01 00000000 ....n.....=..... │ │ │ │ 0x01530930 00000000 6f010000 18a53c01 01000000 ....o.....<..... │ │ │ │ 0x01530940 00000000 70010000 68e23801 01000000 ....p...h.8..... │ │ │ │ 0x01530950 00000000 71010000 d83a3a01 01000000 ....q....::..... │ │ │ │ 0x01530960 00000000 72010000 28a73c01 00000000 ....r...(.<..... │ │ │ │ 0x01530970 00000000 73010000 b0fa3d01 00000000 ....s.....=..... │ │ │ │ - 0x01530980 00000000 74010000 fca73c01 01000000 ....t.....<..... │ │ │ │ - 0x01530990 00000000 75010000 04a83c01 01000000 ....u.....<..... │ │ │ │ + 0x01530980 00000000 74010000 0ca83c01 01000000 ....t.....<..... │ │ │ │ + 0x01530990 00000000 75010000 fca73c01 01000000 ....u.....<..... │ │ │ │ 0x015309a0 00000000 76010000 74e63b01 01000000 ....v...t.;..... │ │ │ │ 0x015309b0 00000000 77010000 94e23801 01000000 ....w.....8..... │ │ │ │ 0x015309c0 00000000 78010000 64ab3c01 01000000 ....x...d.<..... │ │ │ │ 0x015309d0 00000000 79010000 78ab3c01 00000000 ....y...x.<..... │ │ │ │ 0x015309e0 00000000 7a010000 c0fa3d01 00000000 ....z.....=..... │ │ │ │ 0x015309f0 00000000 7b010000 c8ac3c01 00000000 ....{.....<..... │ │ │ │ 0x01530a00 00000000 7c010000 d0fa3d01 00000000 ....|.....=..... │ │ │ │ @@ -361,16 +361,16 @@ │ │ │ │ 0x01531660 00000000 42020000 ac003e01 00000000 ....B.....>..... │ │ │ │ 0x01531670 00000000 43020000 dcae3c01 01000000 ....C.....<..... │ │ │ │ 0x01531680 00000000 44020000 fcae3c01 01000000 ....D.....<..... │ │ │ │ 0x01531690 00000000 45020000 24a93c01 00000000 ....E...$.<..... │ │ │ │ 0x015316a0 00000000 46020000 c4003e01 00000000 ....F.....>..... │ │ │ │ 0x015316b0 00000000 47020000 64dd3901 01000000 ....G...d.9..... │ │ │ │ 0x015316c0 00000000 48020000 d8ac3c01 01000000 ....H.....<..... │ │ │ │ - 0x015316d0 00000000 49020000 a0af3c01 01000000 ....I.....<..... │ │ │ │ - 0x015316e0 00000000 4a020000 8caf3c01 01000000 ....J.....<..... │ │ │ │ + 0x015316d0 00000000 49020000 8caf3c01 01000000 ....I.....<..... │ │ │ │ + 0x015316e0 00000000 4a020000 98af3c01 01000000 ....J.....<..... │ │ │ │ 0x015316f0 00000000 4b020000 9cb03c01 01000000 ....K.....<..... │ │ │ │ 0x01531700 00000000 4c020000 b0b03c01 01000000 ....L.....<..... │ │ │ │ 0x01531710 00000000 4d020000 28b13c01 01000000 ....M...(.<..... │ │ │ │ 0x01531720 00000000 4e020000 38b13c01 01000000 ....N...8.<..... │ │ │ │ 0x01531730 00000000 4f020000 98b43c01 00000000 ....O.....<..... │ │ │ │ 0x01531740 00000000 50020000 dc003e01 00000000 ....P.....>..... │ │ │ │ 0x01531750 00000000 51020000 ac9f3c01 00000000 ....Q.....<..... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 30623133 39653338 34333938 34346166 0b139e38439844af │ │ │ │ - 0x00000010 35313466 39613037 39363636 37336639 514f9a07966673f9 │ │ │ │ - 0x00000020 34373562 38332e64 65627567 00000000 475b83.debug.... │ │ │ │ - 0x00000030 168d8c1e .... │ │ │ │ + 0x00000000 34303261 30313732 61616130 66616135 402a0172aaa0faa5 │ │ │ │ + 0x00000010 36643938 64376263 38376461 34333933 6d98d7bc87da4393 │ │ │ │ + 0x00000020 64616162 33322e64 65627567 00000000 daab32.debug.... │ │ │ │ + 0x00000030 47827043 G.pC