--- /srv/rebuilderd/tmp/rebuilderdLDo3gY/inputs/libcvc5-1_1.3.2-1+b1_ppc64el.deb +++ /srv/rebuilderd/tmp/rebuilderdLDo3gY/out/libcvc5-1_1.3.2-1+b1_ppc64el.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-04-23 15:19:33.000000 debian-binary │ -rw-r--r-- 0 0 0 1312 2026-04-23 15:19:33.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7307276 2026-04-23 15:19:33.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7304508 2026-04-23 15:19:33.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/powerpc64le-linux-gnu/libcvc5.so.1 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -3921,15 +3921,15 @@ │ │ │ │ 0000000001e86b40 0000000000000016 R_PPC64_RELATIVE 1b14440 │ │ │ │ 0000000001e86b48 0000000000000016 R_PPC64_RELATIVE 1ae4738 │ │ │ │ 0000000001e86b50 0000000000000016 R_PPC64_RELATIVE 1b14450 │ │ │ │ 0000000001e86b58 0000000000000016 R_PPC64_RELATIVE 1b14468 │ │ │ │ 0000000001e86b60 0000000000000016 R_PPC64_RELATIVE 1ae4870 │ │ │ │ 0000000001e86b68 0000000000000016 R_PPC64_RELATIVE 1b14480 │ │ │ │ 0000000001e86b70 0000000000000016 R_PPC64_RELATIVE 1b14490 │ │ │ │ -0000000001e86b78 0000000000000016 R_PPC64_RELATIVE 1b15078 │ │ │ │ +0000000001e86b78 0000000000000016 R_PPC64_RELATIVE 1b15068 │ │ │ │ 0000000001e86b80 0000000000000016 R_PPC64_RELATIVE 1b144a8 │ │ │ │ 0000000001e86b88 0000000000000016 R_PPC64_RELATIVE 1b144b8 │ │ │ │ 0000000001e86b90 0000000000000016 R_PPC64_RELATIVE 1b144d0 │ │ │ │ 0000000001e86b98 0000000000000016 R_PPC64_RELATIVE 1ae4bd8 │ │ │ │ 0000000001e86ba0 0000000000000016 R_PPC64_RELATIVE 1ae4ce0 │ │ │ │ 0000000001e86ba8 0000000000000016 R_PPC64_RELATIVE 1ae4bb0 │ │ │ │ 0000000001e86bb0 0000000000000016 R_PPC64_RELATIVE 1ae4b50 │ │ │ │ @@ -4123,19 +4123,19 @@ │ │ │ │ 0000000001e87190 0000000000000016 R_PPC64_RELATIVE 1b14ff8 │ │ │ │ 0000000001e87198 0000000000000016 R_PPC64_RELATIVE 1b15000 │ │ │ │ 0000000001e871a0 0000000000000016 R_PPC64_RELATIVE 1ae6768 │ │ │ │ 0000000001e871a8 0000000000000016 R_PPC64_RELATIVE 1b15010 │ │ │ │ 0000000001e871b0 0000000000000016 R_PPC64_RELATIVE 1b15020 │ │ │ │ 0000000001e871b8 0000000000000016 R_PPC64_RELATIVE 1b15040 │ │ │ │ 0000000001e871c0 0000000000000016 R_PPC64_RELATIVE 1b15050 │ │ │ │ -0000000001e871c8 0000000000000016 R_PPC64_RELATIVE 1b150b0 │ │ │ │ -0000000001e871d0 0000000000000016 R_PPC64_RELATIVE 1b15068 │ │ │ │ +0000000001e871c8 0000000000000016 R_PPC64_RELATIVE 1b150c8 │ │ │ │ +0000000001e871d0 0000000000000016 R_PPC64_RELATIVE 1b15070 │ │ │ │ 0000000001e871d8 0000000000000016 R_PPC64_RELATIVE 1b15080 │ │ │ │ 0000000001e871e0 0000000000000016 R_PPC64_RELATIVE 1b15098 │ │ │ │ -0000000001e871e8 0000000000000016 R_PPC64_RELATIVE 1b150c0 │ │ │ │ +0000000001e871e8 0000000000000016 R_PPC64_RELATIVE 1b150b0 │ │ │ │ 0000000001e871f0 0000000000000016 R_PPC64_RELATIVE 1b150d8 │ │ │ │ 0000000001e871f8 0000000000000016 R_PPC64_RELATIVE 1b150f0 │ │ │ │ 0000000001e87200 0000000000000016 R_PPC64_RELATIVE 1b15108 │ │ │ │ 0000000001e87208 0000000000000016 R_PPC64_RELATIVE 1b160e8 │ │ │ │ 0000000001e87210 0000000000000016 R_PPC64_RELATIVE 1ae48d0 │ │ │ │ 0000000001e87218 0000000000000016 R_PPC64_RELATIVE 1ae5448 │ │ │ │ 0000000001e87220 0000000000000016 R_PPC64_RELATIVE 1b15118 │ │ │ │ @@ -4195,15 +4195,15 @@ │ │ │ │ 0000000001e873d0 0000000000000016 R_PPC64_RELATIVE 1b15408 │ │ │ │ 0000000001e873d8 0000000000000016 R_PPC64_RELATIVE 1b15418 │ │ │ │ 0000000001e873e0 0000000000000016 R_PPC64_RELATIVE 1b15428 │ │ │ │ 0000000001e873e8 0000000000000016 R_PPC64_RELATIVE 1ae0960 │ │ │ │ 0000000001e873f0 0000000000000016 R_PPC64_RELATIVE 1b15450 │ │ │ │ 0000000001e873f8 0000000000000016 R_PPC64_RELATIVE 1b15438 │ │ │ │ 0000000001e87400 0000000000000016 R_PPC64_RELATIVE 1b15460 │ │ │ │ -0000000001e87408 0000000000000016 R_PPC64_RELATIVE 1b15628 │ │ │ │ +0000000001e87408 0000000000000016 R_PPC64_RELATIVE 1b15630 │ │ │ │ 0000000001e87410 0000000000000016 R_PPC64_RELATIVE 1b15478 │ │ │ │ 0000000001e87418 0000000000000016 R_PPC64_RELATIVE 1b15480 │ │ │ │ 0000000001e87420 0000000000000016 R_PPC64_RELATIVE 1b15490 │ │ │ │ 0000000001e87428 0000000000000016 R_PPC64_RELATIVE 1b154a0 │ │ │ │ 0000000001e87430 0000000000000016 R_PPC64_RELATIVE 1ad5f58 │ │ │ │ 0000000001e87438 0000000000000016 R_PPC64_RELATIVE 1b154c0 │ │ │ │ 0000000001e87440 0000000000000016 R_PPC64_RELATIVE 1ae5578 │ │ │ │ @@ -4224,15 +4224,15 @@ │ │ │ │ 0000000001e874b8 0000000000000016 R_PPC64_RELATIVE 1b155c8 │ │ │ │ 0000000001e874c0 0000000000000016 R_PPC64_RELATIVE 1b155d8 │ │ │ │ 0000000001e874c8 0000000000000016 R_PPC64_RELATIVE 1ad66c0 │ │ │ │ 0000000001e874d0 0000000000000016 R_PPC64_RELATIVE 1b155e0 │ │ │ │ 0000000001e874d8 0000000000000016 R_PPC64_RELATIVE 1b155f8 │ │ │ │ 0000000001e874e0 0000000000000016 R_PPC64_RELATIVE 1b15608 │ │ │ │ 0000000001e874e8 0000000000000016 R_PPC64_RELATIVE 1b15618 │ │ │ │ -0000000001e874f0 0000000000000016 R_PPC64_RELATIVE 1b15638 │ │ │ │ +0000000001e874f0 0000000000000016 R_PPC64_RELATIVE 1b15628 │ │ │ │ 0000000001e874f8 0000000000000016 R_PPC64_RELATIVE 1b15640 │ │ │ │ 0000000001e87500 0000000000000016 R_PPC64_RELATIVE 1b15650 │ │ │ │ 0000000001e87508 0000000000000016 R_PPC64_RELATIVE 1adb410 │ │ │ │ 0000000001e87510 0000000000000016 R_PPC64_RELATIVE 1b15660 │ │ │ │ 0000000001e87518 0000000000000016 R_PPC64_RELATIVE 1b15670 │ │ │ │ 0000000001e87520 0000000000000016 R_PPC64_RELATIVE 1b15688 │ │ │ │ 0000000001e87528 0000000000000016 R_PPC64_RELATIVE 1ae4ae8 │ │ │ │ @@ -9027,34 +9027,34 @@ │ │ │ │ 0000000001ea24c8 0000000000000016 R_PPC64_RELATIVE 1b14b50 │ │ │ │ 0000000001ea24e8 0000000000000016 R_PPC64_RELATIVE 1b2b1b0 │ │ │ │ 0000000001ea2508 0000000000000016 R_PPC64_RELATIVE 1b15158 │ │ │ │ 0000000001ea2528 0000000000000016 R_PPC64_RELATIVE 1b2b1c0 │ │ │ │ 0000000001ea2548 0000000000000016 R_PPC64_RELATIVE 1b15170 │ │ │ │ 0000000001ea2568 0000000000000016 R_PPC64_RELATIVE 1ad5f48 │ │ │ │ 0000000001ea2588 0000000000000016 R_PPC64_RELATIVE 1b2b1d8 │ │ │ │ -0000000001ea25a8 0000000000000016 R_PPC64_RELATIVE 1b15638 │ │ │ │ -0000000001ea25c8 0000000000000016 R_PPC64_RELATIVE 1b15628 │ │ │ │ +0000000001ea25a8 0000000000000016 R_PPC64_RELATIVE 1b15628 │ │ │ │ +0000000001ea25c8 0000000000000016 R_PPC64_RELATIVE 1b15630 │ │ │ │ 0000000001ea25e8 0000000000000016 R_PPC64_RELATIVE 1b15640 │ │ │ │ 0000000001ea2608 0000000000000016 R_PPC64_RELATIVE 1b2b1f0 │ │ │ │ 0000000001ea2628 0000000000000016 R_PPC64_RELATIVE 1b156b0 │ │ │ │ 0000000001ea2648 0000000000000016 R_PPC64_RELATIVE 1b156c0 │ │ │ │ 0000000001ea2668 0000000000000016 R_PPC64_RELATIVE 1b16070 │ │ │ │ 0000000001ea2688 0000000000000016 R_PPC64_RELATIVE 1b2b200 │ │ │ │ 0000000001ea26a8 0000000000000016 R_PPC64_RELATIVE 1ad1cf8 │ │ │ │ 0000000001ea26c8 0000000000000016 R_PPC64_RELATIVE 1b141b0 │ │ │ │ 0000000001ea26e8 0000000000000016 R_PPC64_RELATIVE 1b2b218 │ │ │ │ 0000000001ea2708 0000000000000016 R_PPC64_RELATIVE 1b14510 │ │ │ │ 0000000001ea2728 0000000000000016 R_PPC64_RELATIVE 1b14528 │ │ │ │ 0000000001ea2748 0000000000000016 R_PPC64_RELATIVE 1b14560 │ │ │ │ -0000000001ea2768 0000000000000016 R_PPC64_RELATIVE 1b15068 │ │ │ │ -0000000001ea2788 0000000000000016 R_PPC64_RELATIVE 1b15078 │ │ │ │ +0000000001ea2768 0000000000000016 R_PPC64_RELATIVE 1b15070 │ │ │ │ +0000000001ea2788 0000000000000016 R_PPC64_RELATIVE 1b15068 │ │ │ │ 0000000001ea27a8 0000000000000016 R_PPC64_RELATIVE 1b15080 │ │ │ │ 0000000001ea27c8 0000000000000016 R_PPC64_RELATIVE 1b15098 │ │ │ │ -0000000001ea27e8 0000000000000016 R_PPC64_RELATIVE 1b150c0 │ │ │ │ -0000000001ea2808 0000000000000016 R_PPC64_RELATIVE 1b150b0 │ │ │ │ +0000000001ea27e8 0000000000000016 R_PPC64_RELATIVE 1b150b0 │ │ │ │ +0000000001ea2808 0000000000000016 R_PPC64_RELATIVE 1b150c8 │ │ │ │ 0000000001ea2828 0000000000000016 R_PPC64_RELATIVE 1b150d8 │ │ │ │ 0000000001ea2848 0000000000000016 R_PPC64_RELATIVE 1b150f0 │ │ │ │ 0000000001ea2868 0000000000000016 R_PPC64_RELATIVE 1b15108 │ │ │ │ 0000000001ea2888 0000000000000016 R_PPC64_RELATIVE 1b15460 │ │ │ │ 0000000001ea28a8 0000000000000016 R_PPC64_RELATIVE 1b2b240 │ │ │ │ 0000000001ea28c8 0000000000000016 R_PPC64_RELATIVE 1b160f8 │ │ │ │ 0000000001ea28e8 0000000000000016 R_PPC64_RELATIVE 1b160e8 │ │ │ │ @@ -9658,15 +9658,15 @@ │ │ │ │ 0000000001ea72b0 0000000000000016 R_PPC64_RELATIVE 1b3ffe8 │ │ │ │ 0000000001ea72b8 0000000000000016 R_PPC64_RELATIVE 1b3aef0 │ │ │ │ 0000000001ea72d8 0000000000000016 R_PPC64_RELATIVE 1b40828 │ │ │ │ 0000000001ea72e0 0000000000000016 R_PPC64_RELATIVE 1b3aef8 │ │ │ │ 0000000001ea7300 0000000000000016 R_PPC64_RELATIVE 1b40808 │ │ │ │ 0000000001ea7308 0000000000000016 R_PPC64_RELATIVE 1b3af08 │ │ │ │ 0000000001ea7328 0000000000000016 R_PPC64_RELATIVE 1b407f0 │ │ │ │ -0000000001ea7330 0000000000000016 R_PPC64_RELATIVE 1b15078 │ │ │ │ +0000000001ea7330 0000000000000016 R_PPC64_RELATIVE 1b15068 │ │ │ │ 0000000001ea7350 0000000000000016 R_PPC64_RELATIVE 1b407d0 │ │ │ │ 0000000001ea7358 0000000000000016 R_PPC64_RELATIVE 1b3af18 │ │ │ │ 0000000001ea7378 0000000000000016 R_PPC64_RELATIVE 1b407b0 │ │ │ │ 0000000001ea7380 0000000000000016 R_PPC64_RELATIVE 1b3af30 │ │ │ │ 0000000001ea73a0 0000000000000016 R_PPC64_RELATIVE 1b40790 │ │ │ │ 0000000001ea73a8 0000000000000016 R_PPC64_RELATIVE 1b3af40 │ │ │ │ 0000000001ea73c8 0000000000000016 R_PPC64_RELATIVE 1b40770 │ │ │ │ @@ -9884,15 +9884,15 @@ │ │ │ │ 0000000001ea8458 0000000000000016 R_PPC64_RELATIVE 1b3fc50 │ │ │ │ 0000000001ea8460 0000000000000016 R_PPC64_RELATIVE 1b3b4e8 │ │ │ │ 0000000001ea8480 0000000000000016 R_PPC64_RELATIVE 1b3fc30 │ │ │ │ 0000000001ea8488 0000000000000016 R_PPC64_RELATIVE 1b3b4f0 │ │ │ │ 0000000001ea84a8 0000000000000016 R_PPC64_RELATIVE 1b3fc18 │ │ │ │ 0000000001ea84b0 0000000000000016 R_PPC64_RELATIVE 1b3b4f8 │ │ │ │ 0000000001ea84d0 0000000000000016 R_PPC64_RELATIVE 1b3fc00 │ │ │ │ -0000000001ea84d8 0000000000000016 R_PPC64_RELATIVE 1b15638 │ │ │ │ +0000000001ea84d8 0000000000000016 R_PPC64_RELATIVE 1b15628 │ │ │ │ 0000000001ea84f8 0000000000000016 R_PPC64_RELATIVE 1b3fbf0 │ │ │ │ 0000000001ea8500 0000000000000016 R_PPC64_RELATIVE 1b3b508 │ │ │ │ 0000000001ea8520 0000000000000016 R_PPC64_RELATIVE 1b3fba0 │ │ │ │ 0000000001ea8528 0000000000000016 R_PPC64_RELATIVE 1b3b510 │ │ │ │ 0000000001ea8548 0000000000000016 R_PPC64_RELATIVE 1b3fb80 │ │ │ │ 0000000001ea8550 0000000000000016 R_PPC64_RELATIVE 1b3b520 │ │ │ │ 0000000001ea8570 0000000000000016 R_PPC64_RELATIVE 1b3fb68 │ │ │ │ @@ -10010,15 +10010,15 @@ │ │ │ │ 0000000001ea8e30 0000000000000016 R_PPC64_RELATIVE 1b3ffe8 │ │ │ │ 0000000001ea8e38 0000000000000016 R_PPC64_RELATIVE 1b3aef0 │ │ │ │ 0000000001ea8e58 0000000000000016 R_PPC64_RELATIVE 1b40828 │ │ │ │ 0000000001ea8e60 0000000000000016 R_PPC64_RELATIVE 1b3aef8 │ │ │ │ 0000000001ea8e80 0000000000000016 R_PPC64_RELATIVE 1b40808 │ │ │ │ 0000000001ea8e88 0000000000000016 R_PPC64_RELATIVE 1b3af08 │ │ │ │ 0000000001ea8ea8 0000000000000016 R_PPC64_RELATIVE 1b407f0 │ │ │ │ -0000000001ea8eb0 0000000000000016 R_PPC64_RELATIVE 1b15078 │ │ │ │ +0000000001ea8eb0 0000000000000016 R_PPC64_RELATIVE 1b15068 │ │ │ │ 0000000001ea8ed0 0000000000000016 R_PPC64_RELATIVE 1b407d0 │ │ │ │ 0000000001ea8ed8 0000000000000016 R_PPC64_RELATIVE 1b3af18 │ │ │ │ 0000000001ea8ef8 0000000000000016 R_PPC64_RELATIVE 1b407b0 │ │ │ │ 0000000001ea8f00 0000000000000016 R_PPC64_RELATIVE 1b3af30 │ │ │ │ 0000000001ea8f20 0000000000000016 R_PPC64_RELATIVE 1b40790 │ │ │ │ 0000000001ea8f28 0000000000000016 R_PPC64_RELATIVE 1b3af40 │ │ │ │ 0000000001ea8f48 0000000000000016 R_PPC64_RELATIVE 1b40770 │ │ │ │ @@ -10238,15 +10238,15 @@ │ │ │ │ 0000000001eaa000 0000000000000016 R_PPC64_RELATIVE 1b3fc50 │ │ │ │ 0000000001eaa008 0000000000000016 R_PPC64_RELATIVE 1b3b4e8 │ │ │ │ 0000000001eaa028 0000000000000016 R_PPC64_RELATIVE 1b3fc30 │ │ │ │ 0000000001eaa030 0000000000000016 R_PPC64_RELATIVE 1b3b4f0 │ │ │ │ 0000000001eaa050 0000000000000016 R_PPC64_RELATIVE 1b3fc18 │ │ │ │ 0000000001eaa058 0000000000000016 R_PPC64_RELATIVE 1b3b4f8 │ │ │ │ 0000000001eaa078 0000000000000016 R_PPC64_RELATIVE 1b3fc00 │ │ │ │ -0000000001eaa080 0000000000000016 R_PPC64_RELATIVE 1b15638 │ │ │ │ +0000000001eaa080 0000000000000016 R_PPC64_RELATIVE 1b15628 │ │ │ │ 0000000001eaa0a0 0000000000000016 R_PPC64_RELATIVE 1b3fbf0 │ │ │ │ 0000000001eaa0a8 0000000000000016 R_PPC64_RELATIVE 1b3b508 │ │ │ │ 0000000001eaa0c8 0000000000000016 R_PPC64_RELATIVE 1b3fba0 │ │ │ │ 0000000001eaa0d0 0000000000000016 R_PPC64_RELATIVE 1b3b510 │ │ │ │ 0000000001eaa0f0 0000000000000016 R_PPC64_RELATIVE 1b3fb80 │ │ │ │ 0000000001eaa0f8 0000000000000016 R_PPC64_RELATIVE 1b3b520 │ │ │ │ 0000000001eaa118 0000000000000016 R_PPC64_RELATIVE 1b3fb68 │ │ │ ├── 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: 1b57a17f39aa051994c22823488c1d8729e37c11 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: eb551cf14f42795015f7884bcd5bdb736b22781b │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -23555,16 +23555,16 @@ │ │ │ │ parse-only │ │ │ │ parse-skolem-definitions │ │ │ │ parsing-mode │ │ │ │ partial-triggers │ │ │ │ partition-check │ │ │ │ partition-conflict-size │ │ │ │ partition-start-time │ │ │ │ -partition │ │ │ │ partition-strategy │ │ │ │ +partition │ │ │ │ partition-time-interval │ │ │ │ partition-tlimit │ │ │ │ partition-when │ │ │ │ plugin-notify-sat-clause-in-solve │ │ │ │ plugin-share-skolems │ │ │ │ portfolio-dry-run │ │ │ │ portfolio-jobs │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -80372,15 +80372,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13672 │ │ │ │ addi r3,r1,10568 │ │ │ │ stw r9,10560(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,258 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,13688 │ │ │ │ + addi r4,r4,13680 │ │ │ │ addi r3,r1,10608 │ │ │ │ stw r9,10600(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,258 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13696 │ │ │ │ addi r3,r1,10648 │ │ │ │ @@ -80396,15 +80396,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13744 │ │ │ │ addi r3,r1,10728 │ │ │ │ stw r9,10720(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,261 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,13760 │ │ │ │ + addi r4,r4,13768 │ │ │ │ addi r3,r1,10768 │ │ │ │ stw r9,10760(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,261 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,13784 │ │ │ │ addi r3,r1,10808 │ │ │ │ @@ -80551,22 +80551,22 @@ │ │ │ │ li r9,285 │ │ │ │ addis r4,r2,-61 │ │ │ │ addi r4,r4,64 │ │ │ │ addi r3,r1,11768 │ │ │ │ stw r9,11760(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,286 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,14152 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,14120 │ │ │ │ addi r3,r1,11808 │ │ │ │ stw r9,11800(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,287 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,14120 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,14152 │ │ │ │ addi r3,r1,11848 │ │ │ │ stw r9,11840(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,287 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,12568 │ │ │ │ addi r3,r1,11888 │ │ │ │ @@ -80972,15 +80972,15 @@ │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,15144 │ │ │ │ addi r3,r1,14568 │ │ │ │ stw r9,14560(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,353 │ │ │ │ addis r4,r2,-57 │ │ │ │ - addi r4,r4,15160 │ │ │ │ + addi r4,r4,15152 │ │ │ │ addi r3,r1,14608 │ │ │ │ stw r9,14600(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,353 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,15168 │ │ │ │ addi r3,r1,14648 │ │ │ │ @@ -81061,22 +81061,22 @@ │ │ │ │ li r9,366 │ │ │ │ addis r4,r2,-57 │ │ │ │ addi r4,r4,15336 │ │ │ │ addi r3,r1,15168 │ │ │ │ stw r9,15160(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,367 │ │ │ │ - addis r4,r2,-60 │ │ │ │ - addi r4,r4,10952 │ │ │ │ + addis r4,r2,-57 │ │ │ │ + addi r4,r4,15360 │ │ │ │ addi r3,r1,15208 │ │ │ │ stw r9,15200(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,368 │ │ │ │ - addis r4,r2,-57 │ │ │ │ - addi r4,r4,15360 │ │ │ │ + addis r4,r2,-60 │ │ │ │ + addi r4,r4,10952 │ │ │ │ addi r3,r1,15248 │ │ │ │ stw r9,15240(r1) │ │ │ │ bl 17dded8 │ │ │ │ li r9,368 │ │ │ │ addis r4,r2,-60 │ │ │ │ addi r4,r4,11104 │ │ │ │ addi r3,r1,15288 │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ beq 10b3bc0 , std::allocator >::__resize_and_overwrite(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0x18290> │ │ │ │ mr r3,r26 │ │ │ │ li r4,64 │ │ │ │ bl c2120 │ │ │ │ ld r2,24(r1) │ │ │ │ cmpdi r27,0 │ │ │ │ bne 10b3980 , std::allocator >::__resize_and_overwrite(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0x18050> │ │ │ │ -[ Too much input for diff (SHA256: 01f9f985c7c5c17e640385e1fc5cea4bd500808080d266fb21ffb65a145e71c4) ] │ │ │ │ +[ Too much input for diff (SHA256: 96b9121978ae18ff91cf184b584ad0439333062aa74da46eb4f9c54d4e7455cb) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -18988,22 +18988,22 @@ │ │ │ │ 0x01b14ff0 697a6500 00000000 6f757470 75740000 ize.....output.. │ │ │ │ 0x01b15000 6f757470 75742d6c 616e6700 00000000 output-lang..... │ │ │ │ 0x01b15010 70617273 652d6f6e 6c790000 00000000 parse-only...... │ │ │ │ 0x01b15020 70617273 652d736b 6f6c656d 2d646566 parse-skolem-def │ │ │ │ 0x01b15030 696e6974 696f6e73 00000000 00000000 initions........ │ │ │ │ 0x01b15040 70617273 696e672d 6d6f6465 00000000 parsing-mode.... │ │ │ │ 0x01b15050 70617274 69616c2d 74726967 67657273 partial-triggers │ │ │ │ - 0x01b15060 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ - 0x01b15070 6e2d6368 65636b00 63686563 6b000000 n-check.check... │ │ │ │ + 0x01b15060 00000000 00000000 63686563 6b000000 ........check... │ │ │ │ + 0x01b15070 70617274 6974696f 6e2d6368 65636b00 partition-check. │ │ │ │ 0x01b15080 70617274 6974696f 6e2d636f 6e666c69 partition-confli │ │ │ │ 0x01b15090 63742d73 697a6500 70617274 6974696f ct-size.partitio │ │ │ │ 0x01b150a0 6e2d7374 6172742d 74696d65 00000000 n-start-time.... │ │ │ │ - 0x01b150b0 70617274 6974696f 6e000000 00000000 partition....... │ │ │ │ - 0x01b150c0 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ - 0x01b150d0 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ + 0x01b150b0 70617274 6974696f 6e2d7374 72617465 partition-strate │ │ │ │ + 0x01b150c0 67790000 00000000 70617274 6974696f gy......partitio │ │ │ │ + 0x01b150d0 6e000000 00000000 70617274 6974696f n.......partitio │ │ │ │ 0x01b150e0 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval. │ │ │ │ 0x01b150f0 70617274 6974696f 6e2d746c 696d6974 partition-tlimit │ │ │ │ 0x01b15100 00000000 00000000 70617274 6974696f ........partitio │ │ │ │ 0x01b15110 6e2d7768 656e0000 706c7567 696e2d6e n-when..plugin-n │ │ │ │ 0x01b15120 6f746966 792d7361 742d636c 61757365 otify-sat-clause │ │ │ │ 0x01b15130 2d696e2d 736f6c76 65000000 00000000 -in-solve....... │ │ │ │ 0x01b15140 706c7567 696e2d73 68617265 2d736b6f plugin-share-sko │ │ │ │ @@ -19080,16 +19080,16 @@ │ │ │ │ 0x01b155b0 726c696d 69740000 726c696d 69742d70 rlimit..rlimit-p │ │ │ │ 0x01b155c0 65720000 00000000 72722d74 75726e73 er......rr-turns │ │ │ │ 0x01b155d0 00000000 00000000 72776569 67687400 ........rweight. │ │ │ │ 0x01b155e0 7361742d 70726f6f 662d6d69 6e2d6469 sat-proof-min-di │ │ │ │ 0x01b155f0 6d616373 00000000 7361742d 72616e64 macs....sat-rand │ │ │ │ 0x01b15600 6f6d2d73 65656400 7361742d 736f6c76 om-seed.sat-solv │ │ │ │ 0x01b15610 65720000 00000000 73652d73 6f6c7665 er......se-solve │ │ │ │ - 0x01b15620 2d696e74 00000000 72616e64 6f6d2d73 -int....random-s │ │ │ │ - 0x01b15630 65656400 00000000 73656564 00000000 eed.....seed.... │ │ │ │ + 0x01b15620 2d696e74 00000000 73656564 00000000 -int....seed.... │ │ │ │ + 0x01b15630 72616e64 6f6d2d73 65656400 00000000 random-seed..... │ │ │ │ 0x01b15640 73656776 2d737069 6e000000 00000000 segv-spin....... │ │ │ │ 0x01b15650 73656d61 6e746963 2d636865 636b7300 semantic-checks. │ │ │ │ 0x01b15660 7365702d 6d696e2d 72656669 6e650000 sep-min-refine.. │ │ │ │ 0x01b15670 7365702d 7072652d 736b6f6c 656d2d65 sep-pre-skolem-e │ │ │ │ 0x01b15680 6d700000 00000000 7365712d 61727261 mp......seq-arra │ │ │ │ 0x01b15690 79000000 00000000 73657473 2d70726f y.......sets-pro │ │ │ │ 0x01b156a0 78792d6c 656d6d61 73000000 00000000 xy-lemmas....... │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1971,15 +1971,15 @@ │ │ │ │ 0x01e86b08 e043b101 00000000 0044b101 00000000 .C.......D...... │ │ │ │ 0x01e86b18 1044b101 00000000 2844b101 00000000 .D......(D...... │ │ │ │ 0x01e86b28 d849ae01 00000000 4847ae01 00000000 .I......HG...... │ │ │ │ 0x01e86b38 5847ae01 00000000 4044b101 00000000 XG......@D...... │ │ │ │ 0x01e86b48 3847ae01 00000000 5044b101 00000000 8G......PD...... │ │ │ │ 0x01e86b58 6844b101 00000000 7048ae01 00000000 hD......pH...... │ │ │ │ 0x01e86b68 8044b101 00000000 9044b101 00000000 .D.......D...... │ │ │ │ - 0x01e86b78 7850b101 00000000 a844b101 00000000 xP.......D...... │ │ │ │ + 0x01e86b78 6850b101 00000000 a844b101 00000000 hP.......D...... │ │ │ │ 0x01e86b88 b844b101 00000000 d044b101 00000000 .D.......D...... │ │ │ │ 0x01e86b98 d84bae01 00000000 e04cae01 00000000 .K.......L...... │ │ │ │ 0x01e86ba8 b04bae01 00000000 504bae01 00000000 .K......PK...... │ │ │ │ 0x01e86bb8 e844b101 00000000 f844b101 00000000 .D.......D...... │ │ │ │ 0x01e86bc8 1045b101 00000000 2845b101 00000000 .E......(E...... │ │ │ │ 0x01e86bd8 4845b101 00000000 6045b101 00000000 HE......`E...... │ │ │ │ 0x01e86be8 7845b101 00000000 9045b101 00000000 xE.......E...... │ │ │ │ @@ -2072,17 +2072,17 @@ │ │ │ │ 0x01e87158 b84fb101 00000000 1046ae01 00000000 .O.......F...... │ │ │ │ 0x01e87168 f054ae01 00000000 c04fb101 00000000 .T.......O...... │ │ │ │ 0x01e87178 d84fb101 00000000 d054ad01 00000000 .O.......T...... │ │ │ │ 0x01e87188 f072b001 00000000 f84fb101 00000000 .r.......O...... │ │ │ │ 0x01e87198 0050b101 00000000 6867ae01 00000000 .P......hg...... │ │ │ │ 0x01e871a8 1050b101 00000000 2050b101 00000000 .P...... P...... │ │ │ │ 0x01e871b8 4050b101 00000000 5050b101 00000000 @P......PP...... │ │ │ │ - 0x01e871c8 b050b101 00000000 6850b101 00000000 .P......hP...... │ │ │ │ + 0x01e871c8 c850b101 00000000 7050b101 00000000 .P......pP...... │ │ │ │ 0x01e871d8 8050b101 00000000 9850b101 00000000 .P.......P...... │ │ │ │ - 0x01e871e8 c050b101 00000000 d850b101 00000000 .P.......P...... │ │ │ │ + 0x01e871e8 b050b101 00000000 d850b101 00000000 .P.......P...... │ │ │ │ 0x01e871f8 f050b101 00000000 0851b101 00000000 .P.......Q...... │ │ │ │ 0x01e87208 e860b101 00000000 d048ae01 00000000 .`.......H...... │ │ │ │ 0x01e87218 4854ae01 00000000 1851b101 00000000 HT.......Q...... │ │ │ │ 0x01e87228 4051b101 00000000 b89aaf01 00000000 @Q.............. │ │ │ │ 0x01e87238 5851b101 00000000 7051b101 00000000 XQ......pQ...... │ │ │ │ 0x01e87248 8051b101 00000000 8049ae01 00000000 .Q.......I...... │ │ │ │ 0x01e87258 a849ae01 00000000 e84fae01 00000000 .I.......O...... │ │ │ │ @@ -2108,29 +2108,29 @@ │ │ │ │ 0x01e87398 a053b101 00000000 c053b101 00000000 .S.......S...... │ │ │ │ 0x01e873a8 884eae01 00000000 e053b101 00000000 .N.......S...... │ │ │ │ 0x01e873b8 b851ae01 00000000 f053b101 00000000 .Q.......S...... │ │ │ │ 0x01e873c8 6850ae01 00000000 0854b101 00000000 hP.......T...... │ │ │ │ 0x01e873d8 1854b101 00000000 2854b101 00000000 .T......(T...... │ │ │ │ 0x01e873e8 6009ae01 00000000 5054b101 00000000 `.......PT...... │ │ │ │ 0x01e873f8 3854b101 00000000 6054b101 00000000 8T......`T...... │ │ │ │ - 0x01e87408 2856b101 00000000 7854b101 00000000 (V......xT...... │ │ │ │ + 0x01e87408 3056b101 00000000 7854b101 00000000 0V......xT...... │ │ │ │ 0x01e87418 8054b101 00000000 9054b101 00000000 .T.......T...... │ │ │ │ 0x01e87428 a054b101 00000000 585fad01 00000000 .T......X_...... │ │ │ │ 0x01e87438 c054b101 00000000 7855ae01 00000000 .T......xU...... │ │ │ │ 0x01e87448 d854b101 00000000 d84aae01 00000000 .T.......J...... │ │ │ │ 0x01e87458 9853ae01 00000000 f054b101 00000000 .S.......T...... │ │ │ │ 0x01e87468 1055b101 00000000 2855b101 00000000 .U......(U...... │ │ │ │ 0x01e87478 4055b101 00000000 705fad01 00000000 @U......p_...... │ │ │ │ 0x01e87488 5855b101 00000000 7055b101 00000000 XU......pU...... │ │ │ │ 0x01e87498 8055b101 00000000 9055b101 00000000 .U.......U...... │ │ │ │ 0x01e874a8 b055b101 00000000 b855b101 00000000 .U.......U...... │ │ │ │ 0x01e874b8 c855b101 00000000 d855b101 00000000 .U.......U...... │ │ │ │ 0x01e874c8 c066ad01 00000000 e055b101 00000000 .f.......U...... │ │ │ │ 0x01e874d8 f855b101 00000000 0856b101 00000000 .U.......V...... │ │ │ │ - 0x01e874e8 1856b101 00000000 3856b101 00000000 .V......8V...... │ │ │ │ + 0x01e874e8 1856b101 00000000 2856b101 00000000 .V......(V...... │ │ │ │ 0x01e874f8 4056b101 00000000 5056b101 00000000 @V......PV...... │ │ │ │ 0x01e87508 10b4ad01 00000000 6056b101 00000000 ........`V...... │ │ │ │ 0x01e87518 7056b101 00000000 8856b101 00000000 pV.......V...... │ │ │ │ 0x01e87528 e84aae01 00000000 104bae01 00000000 .J.......K...... │ │ │ │ 0x01e87538 9856b101 00000000 b056b101 00000000 .V.......V...... │ │ │ │ 0x01e87548 c056b101 00000000 d056b101 00000000 .V.......V...... │ │ │ │ 0x01e87558 7053ae01 00000000 e856b101 00000000 pS.......V...... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -598,17 +598,17 @@ │ │ │ │ 0x01ea2530 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2540 02020000 00000000 7051b101 00000000 ........pQ...... │ │ │ │ 0x01ea2550 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2560 03020000 00000000 485fad01 00000000 ........H_...... │ │ │ │ 0x01ea2570 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2580 04020000 00000000 d8b1b201 00000000 ................ │ │ │ │ 0x01ea2590 00000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea25a0 05020000 00000000 3856b101 00000000 ........8V...... │ │ │ │ + 0x01ea25a0 05020000 00000000 2856b101 00000000 ........(V...... │ │ │ │ 0x01ea25b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea25c0 06020000 00000000 2856b101 00000000 ........(V...... │ │ │ │ + 0x01ea25c0 06020000 00000000 3056b101 00000000 ........0V...... │ │ │ │ 0x01ea25d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea25e0 07020000 00000000 4056b101 00000000 ........@V...... │ │ │ │ 0x01ea25f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2600 08020000 00000000 f0b1b201 00000000 ................ │ │ │ │ 0x01ea2610 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2620 09020000 00000000 b056b101 00000000 .........V...... │ │ │ │ 0x01ea2630 00000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -626,25 +626,25 @@ │ │ │ │ 0x01ea26f0 00000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2700 10020000 00000000 1045b101 00000000 .........E...... │ │ │ │ 0x01ea2710 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2720 11020000 00000000 2845b101 00000000 ........(E...... │ │ │ │ 0x01ea2730 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2740 12020000 00000000 6045b101 00000000 ........`E...... │ │ │ │ 0x01ea2750 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea2760 13020000 00000000 6850b101 00000000 ........hP...... │ │ │ │ + 0x01ea2760 13020000 00000000 7050b101 00000000 ........pP...... │ │ │ │ 0x01ea2770 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea2780 14020000 00000000 7850b101 00000000 ........xP...... │ │ │ │ + 0x01ea2780 14020000 00000000 6850b101 00000000 ........hP...... │ │ │ │ 0x01ea2790 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea27a0 15020000 00000000 8050b101 00000000 .........P...... │ │ │ │ 0x01ea27b0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea27c0 16020000 00000000 9850b101 00000000 .........P...... │ │ │ │ 0x01ea27d0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea27e0 17020000 00000000 c050b101 00000000 .........P...... │ │ │ │ + 0x01ea27e0 17020000 00000000 b050b101 00000000 .........P...... │ │ │ │ 0x01ea27f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea2800 18020000 00000000 b050b101 00000000 .........P...... │ │ │ │ + 0x01ea2800 18020000 00000000 c850b101 00000000 .........P...... │ │ │ │ 0x01ea2810 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2820 19020000 00000000 d850b101 00000000 .........P...... │ │ │ │ 0x01ea2830 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2840 1a020000 00000000 f050b101 00000000 .........P...... │ │ │ │ 0x01ea2850 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea2860 1b020000 00000000 0851b101 00000000 .........Q...... │ │ │ │ 0x01ea2870 01000000 00000000 00000000 00000000 ................ │ │ │ │ @@ -1839,15 +1839,15 @@ │ │ │ │ 0x01ea72c0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea72d0 00000000 00000000 2808b401 00000000 ........(....... │ │ │ │ 0x01ea72e0 f8aeb301 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea72f0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea7300 0808b401 00000000 08afb301 00000000 ................ │ │ │ │ 0x01ea7310 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01ea7320 00000000 00000000 f007b401 00000000 ................ │ │ │ │ - 0x01ea7330 7850b101 00000000 00000000 00000000 xP.............. │ │ │ │ + 0x01ea7330 6850b101 00000000 00000000 00000000 hP.............. │ │ │ │ 0x01ea7340 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea7350 d007b401 00000000 18afb301 00000000 ................ │ │ │ │ 0x01ea7360 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea7370 00000000 00000000 b007b401 00000000 ................ │ │ │ │ 0x01ea7380 30afb301 00000000 01000000 00000000 0............... │ │ │ │ 0x01ea7390 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea73a0 9007b401 00000000 40afb301 00000000 ........@....... │ │ │ │ @@ -2121,15 +2121,15 @@ │ │ │ │ 0x01ea8460 e8b4b301 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8470 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8480 30fcb301 00000000 f0b4b301 00000000 0............... │ │ │ │ 0x01ea8490 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea84a0 00000000 00000000 18fcb301 00000000 ................ │ │ │ │ 0x01ea84b0 f8b4b301 00000000 b6030000 f4010000 ................ │ │ │ │ 0x01ea84c0 e8030000 00000000 00000000 00000000 ................ │ │ │ │ - 0x01ea84d0 00fcb301 00000000 3856b101 00000000 ........8V...... │ │ │ │ + 0x01ea84d0 00fcb301 00000000 2856b101 00000000 ........(V...... │ │ │ │ 0x01ea84e0 00000000 00000000 00943577 00000000 ..........5w.... │ │ │ │ 0x01ea84f0 00000000 00000000 f0fbb301 00000000 ................ │ │ │ │ 0x01ea8500 08b5b301 00000000 03000000 00000000 ................ │ │ │ │ 0x01ea8510 03000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8520 a0fbb301 00000000 10b5b301 00000000 ................ │ │ │ │ 0x01ea8530 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea8540 00000000 00000000 80fbb301 00000000 ................ │ │ │ │ @@ -2279,15 +2279,15 @@ │ │ │ │ 0x01ea8e40 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea8e50 00000000 00000000 2808b401 00000000 ........(....... │ │ │ │ 0x01ea8e60 f8aeb301 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea8e70 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8e80 0808b401 00000000 08afb301 00000000 ................ │ │ │ │ 0x01ea8e90 01000000 01000000 03000000 00000000 ................ │ │ │ │ 0x01ea8ea0 00000000 00000000 f007b401 00000000 ................ │ │ │ │ - 0x01ea8eb0 7850b101 00000000 00000000 00000000 xP.............. │ │ │ │ + 0x01ea8eb0 6850b101 00000000 00000000 00000000 hP.............. │ │ │ │ 0x01ea8ec0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8ed0 d007b401 00000000 18afb301 00000000 ................ │ │ │ │ 0x01ea8ee0 01000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01ea8ef0 00000000 00000000 b007b401 00000000 ................ │ │ │ │ 0x01ea8f00 30afb301 00000000 01000000 00000000 0............... │ │ │ │ 0x01ea8f10 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01ea8f20 9007b401 00000000 40afb301 00000000 ........@....... │ │ │ │ @@ -2564,15 +2564,15 @@ │ │ │ │ 0x01eaa010 00000000 00000000 01000000 00000000 ................ │ │ │ │ 0x01eaa020 00000000 00000000 30fcb301 00000000 ........0....... │ │ │ │ 0x01eaa030 f0b4b301 00000000 01000000 00000000 ................ │ │ │ │ 0x01eaa040 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01eaa050 18fcb301 00000000 f8b4b301 00000000 ................ │ │ │ │ 0x01eaa060 b6030000 f4010000 e8030000 00000000 ................ │ │ │ │ 0x01eaa070 00000000 00000000 00fcb301 00000000 ................ │ │ │ │ - 0x01eaa080 3856b101 00000000 00000000 00000000 8V.............. │ │ │ │ + 0x01eaa080 2856b101 00000000 00000000 00000000 (V.............. │ │ │ │ 0x01eaa090 00943577 00000000 00000000 00000000 ..5w............ │ │ │ │ 0x01eaa0a0 f0fbb301 00000000 08b5b301 00000000 ................ │ │ │ │ 0x01eaa0b0 03000000 00000000 03000000 00000000 ................ │ │ │ │ 0x01eaa0c0 00000000 00000000 a0fbb301 00000000 ................ │ │ │ │ 0x01eaa0d0 10b5b301 00000000 01000000 00000000 ................ │ │ │ │ 0x01eaa0e0 01000000 00000000 00000000 00000000 ................ │ │ │ │ 0x01eaa0f0 80fbb301 00000000 20b5b301 00000000 ........ ....... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 35376131 37663339 61613035 31393934 57a17f39aa051994 │ │ │ │ - 0x00000010 63323238 32333438 38633164 38373239 c22823488c1d8729 │ │ │ │ - 0x00000020 65333763 31312e64 65627567 00000000 e37c11.debug.... │ │ │ │ - 0x00000030 ba232c38 .#,8 │ │ │ │ + 0x00000000 35353163 66313466 34323739 35303135 551cf14f42795015 │ │ │ │ + 0x00000010 66373838 34626364 35626462 37333662 f7884bcd5bdb736b │ │ │ │ + 0x00000020 32323738 31622e64 65627567 00000000 22781b.debug.... │ │ │ │ + 0x00000030 251e6508 %.e.