--- /srv/rebuilderd/tmp/rebuilderdWFgcAf/inputs/libcvc5-1_1.1.2-2+b3_armel.deb +++ /srv/rebuilderd/tmp/rebuilderdWFgcAf/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 5780332 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: e678fa96267fce81e184b81d94e7c7e9551589fa │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -8934,16 +8934,16 @@ │ │ │ │ preprocess-only │ │ │ │ preregister-mode │ │ │ │ print-cores-full │ │ │ │ print-dot-clusters │ │ │ │ print-inst │ │ │ │ print-inst-full │ │ │ │ produce-abducts │ │ │ │ -produce-assertions │ │ │ │ interactive-mode │ │ │ │ +produce-assertions │ │ │ │ produce-assignments │ │ │ │ produce-difficulty │ │ │ │ produce-interpolants │ │ │ │ produce-learned-literals │ │ │ │ produce-proofs │ │ │ │ produce-unsat-assumptions │ │ │ │ proof-alethe-res-pivots │ │ │ ├── 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 │ │ │ │ @@ -77998,24 +77998,24 @@ │ │ │ │ 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 │ │ │ │ teqeq r2, ip, lsr #10 │ │ │ │ - teqeq r2, r8, lsl r5 │ │ │ │ - @ instruction: 0x012fb568 │ │ │ │ + smlawbeq pc, r4, r5, fp @ │ │ │ │ + teqeq r2, ip @ │ │ │ │ teqeq r2, ip, ror #9 │ │ │ │ teqeq r2, r0, ror #9 │ │ │ │ - teqeq r4, r8, lsr #5 │ │ │ │ - teqeq r2, ip @ │ │ │ │ + teqeq r2, r8 @ │ │ │ │ + teqeq r4, ip, lsl #5 │ │ │ │ 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 │ │ │ │ @@ -80168,17 +80168,17 @@ │ │ │ │ teqeq r2, r8, ror #3 │ │ │ │ andeq r0, r0, r1, lsr r1 │ │ │ │ teqeq r2, ip @ │ │ │ │ andeq r0, r0, r2, lsr r1 │ │ │ │ teqeq r2, r0 @ │ │ │ │ andeq r0, r0, r3, lsr r1 │ │ │ │ teqeq r2, r4 @ │ │ │ │ - teqeq r2, r0, asr #3 │ │ │ │ + @ instruction: 0x012e9374 │ │ │ │ andeq r0, r0, r5, lsr r1 │ │ │ │ - @ instruction: 0x012e935c │ │ │ │ + teqeq r2, r8, lsr #3 │ │ │ │ andeq r0, r0, r6, lsr r1 │ │ │ │ teqeq r2, r8 @ │ │ │ │ teqeq r2, r8, lsl #3 │ │ │ │ andeq r0, r0, r7, lsr r1 │ │ │ │ teqeq r2, r4, ror r1 │ │ │ │ teqeq r2, r8, ror #2 │ │ │ │ andeq r0, r0, r9, lsr r1 │ │ │ │ @@ -353719,15 +353719,15 @@ │ │ │ │ muleq r0, r0, r9 │ │ │ │ andeq r1, r0, r4, lsr #31 │ │ │ │ tsteq lr, r4, asr #16 │ │ │ │ tsteq lr, r4, lsr #16 │ │ │ │ smlawteq r3, ip, pc, r7 @ │ │ │ │ tsteq lr, ip, lsl #16 │ │ │ │ tsteq lr, r0, lsl #16 │ │ │ │ - @ instruction: 0x0121b3bc │ │ │ │ + ldrdeq fp, [r1, -r0]! │ │ │ │ tsteq lr, r0, ror #15 │ │ │ │ @ instruction: 0x011e37d8 │ │ │ │ @ instruction: 0x011e37d0 │ │ │ │ tsteq lr, r4, asr #15 │ │ │ │ @ instruction: 0x011e37b8 │ │ │ │ tsteq lr, ip, lsr #15 │ │ │ │ @ instruction: 0x011e379c │ │ │ │ @@ -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: 6a2a02c80769746f6d5003a8275f3d6036334e94e4fc4eda4a7e7e91d4a9a442) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -16355,17 +16355,17 @@ │ │ │ │ 0x013cacc8 70726570 726f6365 73732d6f 6e6c7900 preprocess-only. │ │ │ │ 0x013cacd8 70726572 65676973 7465722d 6d6f6465 preregister-mode │ │ │ │ 0x013cace8 00000000 7072696e 742d636f 7265732d ....print-cores- │ │ │ │ 0x013cacf8 66756c6c 00000000 7072696e 742d646f full....print-do │ │ │ │ 0x013cad08 742d636c 75737465 72730000 7072696e t-clusters..prin │ │ │ │ 0x013cad18 742d696e 73740000 7072696e 742d696e t-inst..print-in │ │ │ │ 0x013cad28 73742d66 756c6c00 70726f64 7563652d st-full.produce- │ │ │ │ - 0x013cad38 61626475 63747300 70726f64 7563652d abducts.produce- │ │ │ │ - 0x013cad48 61737365 7274696f 6e730000 696e7465 assertions..inte │ │ │ │ - 0x013cad58 72616374 6976652d 6d6f6465 00000000 ractive-mode.... │ │ │ │ + 0x013cad38 61626475 63747300 696e7465 72616374 abducts.interact │ │ │ │ + 0x013cad48 6976652d 6d6f6465 00000000 70726f64 ive-mode....prod │ │ │ │ + 0x013cad58 7563652d 61737365 7274696f 6e730000 uce-assertions.. │ │ │ │ 0x013cad68 70726f64 7563652d 61737369 676e6d65 produce-assignme │ │ │ │ 0x013cad78 6e747300 70726f64 7563652d 64696666 nts.produce-diff │ │ │ │ 0x013cad88 6963756c 74790000 70726f64 7563652d iculty..produce- │ │ │ │ 0x013cad98 696e7465 72706f6c 616e7473 00000000 interpolants.... │ │ │ │ 0x013cada8 70726f64 7563652d 6c656172 6e65642d produce-learned- │ │ │ │ 0x013cadb8 6c697465 72616c73 00000000 70726f64 literals....prod │ │ │ │ 0x013cadc8 7563652d 70726f6f 66730000 70726f64 uce-proofs..prod │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -953,15 +953,15 @@ │ │ │ │ 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.<. │ │ │ │ 0x01526a78 64a73c01 70a73c01 80a73c01 8ca73c01 d.<.p.<...<...<. │ │ │ │ - 0x01526a88 54ad3c01 98a73c01 aca73c01 c0a73c01 T.<...<...<...<. │ │ │ │ + 0x01526a88 40ad3c01 98a73c01 aca73c01 c0a73c01 @.<...<...<...<. │ │ │ │ 0x01526a98 fc493901 d0a73c01 e0a73c01 eca73c01 .I9...<...<...<. │ │ │ │ 0x01526aa8 fca73c01 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.<. │ │ │ │ @@ -976,15 +976,15 @@ │ │ │ │ 0x01526b88 6cab3c01 d8fb3901 78ab3c01 84ab3c01 l.<...9.x.<...<. │ │ │ │ 0x01526b98 44673901 98ab3c01 a8ab3c01 c0ab3c01 Dg9...<...<...<. │ │ │ │ 0x01526ba8 d8ab3c01 ecab3c01 04ac3c01 18ac3c01 ..<...<...<...<. │ │ │ │ 0x01526bb8 e0bb3c01 28ac3c01 34ac3c01 44ac3c01 ..<.(.<.4.<.D.<. │ │ │ │ 0x01526bc8 50ac3c01 60ac3c01 78ac3c01 8cac3c01 P.<.`.<.x.<...<. │ │ │ │ 0x01526bd8 a4ac3c01 b4ac3c01 c8ac3c01 d8ac3c01 ..<...<...<...<. │ │ │ │ 0x01526be8 ecac3c01 00ad3c01 14ad3c01 20ad3c01 ..<...<...<. .<. │ │ │ │ - 0x01526bf8 84e23801 30ad3c01 40ad3c01 68ad3c01 ..8.0.<.@.<.h.<. │ │ │ │ + 0x01526bf8 84e23801 30ad3c01 54ad3c01 68ad3c01 ..8.0.<.T.<.h.<. │ │ │ │ 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.<. │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -696,16 +696,16 @@ │ │ │ │ 0x01532b50 00000000 91030000 9c0b3e01 00000000 ..........>..... │ │ │ │ 0x01532b60 00000000 92030000 34ab3c01 00000000 ........4.<..... │ │ │ │ 0x01532b70 00000000 93030000 b80b3e01 00000000 ..........>..... │ │ │ │ 0x01532b80 00000000 94030000 ecac3c01 00000000 ..........<..... │ │ │ │ 0x01532b90 00000000 95030000 d00b3e01 00000000 ..........>..... │ │ │ │ 0x01532ba0 00000000 96030000 30ad3c01 00000000 ........0.<..... │ │ │ │ 0x01532bb0 00000000 97030000 e40b3e01 00000000 ..........>..... │ │ │ │ - 0x01532bc0 00000000 98030000 40ad3c01 00000000 ........@.<..... │ │ │ │ - 0x01532bd0 00000000 99030000 54ad3c01 00000000 ........T.<..... │ │ │ │ + 0x01532bc0 00000000 98030000 54ad3c01 00000000 ........T.<..... │ │ │ │ + 0x01532bd0 00000000 99030000 40ad3c01 00000000 ........@.<..... │ │ │ │ 0x01532be0 00000000 9a030000 f80b3e01 00000000 ..........>..... │ │ │ │ 0x01532bf0 00000000 9b030000 100c3e01 00000000 ..........>..... │ │ │ │ 0x01532c00 00000000 9c030000 68ad3c01 00000000 ........h.<..... │ │ │ │ 0x01532c10 00000000 9d030000 240c3e01 00000000 ........$.>..... │ │ │ │ 0x01532c20 00000000 9e030000 7cad3c01 00000000 ........|.<..... │ │ │ │ 0x01532c30 00000000 9f030000 3c0c3e01 00000000 ........<.>..... │ │ │ │ 0x01532c40 00000000 a0030000 90ad3c01 00000000 ..........<..... │ │ │ ├── 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 37386661 39363236 37666365 38316531 78fa96267fce81e1 │ │ │ │ + 0x00000010 38346238 31643934 65376337 65393535 84b81d94e7c7e955 │ │ │ │ + 0x00000020 31353839 66612e64 65627567 00000000 1589fa.debug.... │ │ │ │ + 0x00000030 ead0f300 ....