--- /srv/rebuilderd/tmp/rebuilderdDmP0tn/inputs/libcvc5-1_1.3.2-1_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdDmP0tn/out/libcvc5-1_1.3.2-1_amd64.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2025-12-24 00:41:53.000000 debian-binary │ -rw-r--r-- 0 0 0 1280 2025-12-24 00:41:53.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7724096 2025-12-24 00:41:53.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7727652 2025-12-24 00:41:53.000000 data.tar.xz ├── control.tar.xz │ ├── control.tar │ │ ├── ./md5sums │ │ │ ├── ./md5sums │ │ │ │┄ Files differ ├── data.tar.xz │ ├── data.tar │ │ ├── ./usr/lib/x86_64-linux-gnu/libcvc5.so.1 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -4041,15 +4041,15 @@ │ │ │ │ 0000000001cbeea8 0000000000000008 R_X86_64_RELATIVE 19a2b2a │ │ │ │ 0000000001cbeeb0 0000000000000008 R_X86_64_RELATIVE 19aaf4d │ │ │ │ 0000000001cbeec0 0000000000000008 R_X86_64_RELATIVE 19acc4c │ │ │ │ 0000000001cbeec8 0000000000000008 R_X86_64_RELATIVE 19997a1 │ │ │ │ 0000000001cbeed0 0000000000000008 R_X86_64_RELATIVE 19997bb │ │ │ │ 0000000001cbeee0 0000000000000008 R_X86_64_RELATIVE 19acc4c │ │ │ │ 0000000001cbeee8 0000000000000008 R_X86_64_RELATIVE 199de98 │ │ │ │ -0000000001cbeef0 0000000000000008 R_X86_64_RELATIVE 19a5115 │ │ │ │ +0000000001cbeef0 0000000000000008 R_X86_64_RELATIVE 19a5129 │ │ │ │ 0000000001cbef00 0000000000000008 R_X86_64_RELATIVE 19a5eff │ │ │ │ 0000000001cbef08 0000000000000008 R_X86_64_RELATIVE 19a41b9 │ │ │ │ 0000000001cbef10 0000000000000008 R_X86_64_RELATIVE 19a41ab │ │ │ │ 0000000001cbef20 0000000000000008 R_X86_64_RELATIVE 199c565 │ │ │ │ 0000000001cbef28 0000000000000008 R_X86_64_RELATIVE 19ab8de │ │ │ │ 0000000001cbef30 0000000000000008 R_X86_64_RELATIVE 19a41a7 │ │ │ │ 0000000001cbef40 0000000000000008 R_X86_64_RELATIVE 19a4183 │ │ │ │ @@ -4514,15 +4514,15 @@ │ │ │ │ 0000000001cbffa8 0000000000000008 R_X86_64_RELATIVE 19a53a7 │ │ │ │ 0000000001cbffb0 0000000000000008 R_X86_64_RELATIVE 19a53c4 │ │ │ │ 0000000001cbffb8 0000000000000008 R_X86_64_RELATIVE 199cc00 │ │ │ │ 0000000001cbffc0 0000000000000008 R_X86_64_RELATIVE 19a53ce │ │ │ │ 0000000001cbffc8 0000000000000008 R_X86_64_RELATIVE 19a654d │ │ │ │ 0000000001cbffd0 0000000000000008 R_X86_64_RELATIVE 19a4adf │ │ │ │ 0000000001cbffd8 0000000000000008 R_X86_64_RELATIVE 19a5fbb │ │ │ │ -0000000001cbffe0 0000000000000008 R_X86_64_RELATIVE 19a5115 │ │ │ │ +0000000001cbffe0 0000000000000008 R_X86_64_RELATIVE 19a5129 │ │ │ │ 0000000001cbffe8 0000000000000008 R_X86_64_RELATIVE 19a4afb │ │ │ │ 0000000001cbfff0 0000000000000008 R_X86_64_RELATIVE 19a4b02 │ │ │ │ 0000000001cbfff8 0000000000000008 R_X86_64_RELATIVE 199d527 │ │ │ │ 0000000001cc0000 0000000000000008 R_X86_64_RELATIVE 19a54e6 │ │ │ │ 0000000001cc0008 0000000000000008 R_X86_64_RELATIVE 19a58e7 │ │ │ │ 0000000001cc0010 0000000000000008 R_X86_64_RELATIVE 19a4b0e │ │ │ │ 0000000001cc0018 0000000000000008 R_X86_64_RELATIVE 19a5fc6 │ │ │ │ @@ -4530,15 +4530,15 @@ │ │ │ │ 0000000001cc0028 0000000000000008 R_X86_64_RELATIVE 19a4b1b │ │ │ │ 0000000001cc0030 0000000000000008 R_X86_64_RELATIVE 19a4b2b │ │ │ │ 0000000001cc0038 0000000000000008 R_X86_64_RELATIVE 19a4b43 │ │ │ │ 0000000001cc0040 0000000000000008 R_X86_64_RELATIVE 19a4b58 │ │ │ │ 0000000001cc0048 0000000000000008 R_X86_64_RELATIVE 19a4b6b │ │ │ │ 0000000001cc0050 0000000000000008 R_X86_64_RELATIVE 19a4b83 │ │ │ │ 0000000001cc0058 0000000000000008 R_X86_64_RELATIVE 19a4b94 │ │ │ │ -0000000001cc0060 0000000000000008 R_X86_64_RELATIVE 19a510a │ │ │ │ +0000000001cc0060 0000000000000008 R_X86_64_RELATIVE 19a511e │ │ │ │ 0000000001cc0068 0000000000000008 R_X86_64_RELATIVE 19a53e6 │ │ │ │ 0000000001cc0070 0000000000000008 R_X86_64_RELATIVE 199d139 │ │ │ │ 0000000001cc0078 0000000000000008 R_X86_64_RELATIVE 1977e78 │ │ │ │ 0000000001cc0080 0000000000000008 R_X86_64_RELATIVE 19a54f4 │ │ │ │ 0000000001cc0088 0000000000000008 R_X86_64_RELATIVE 19a5fda │ │ │ │ 0000000001cc0090 0000000000000008 R_X86_64_RELATIVE 19a5839 │ │ │ │ 0000000001cc0098 0000000000000008 R_X86_64_RELATIVE 19a4ba3 │ │ │ │ @@ -4784,15 +4784,15 @@ │ │ │ │ 0000000001cc0818 0000000000000008 R_X86_64_RELATIVE 19a634c │ │ │ │ 0000000001cc0820 0000000000000008 R_X86_64_RELATIVE 19a635e │ │ │ │ 0000000001cc0828 0000000000000008 R_X86_64_RELATIVE 19a6377 │ │ │ │ 0000000001cc0830 0000000000000008 R_X86_64_RELATIVE 19a5102 │ │ │ │ 0000000001cc0838 0000000000000008 R_X86_64_RELATIVE 199734d │ │ │ │ 0000000001cc0840 0000000000000008 R_X86_64_RELATIVE 19972e7 │ │ │ │ 0000000001cc0848 0000000000000008 R_X86_64_RELATIVE 19a570c │ │ │ │ -0000000001cc0850 0000000000000008 R_X86_64_RELATIVE 19a5119 │ │ │ │ +0000000001cc0850 0000000000000008 R_X86_64_RELATIVE 19a510a │ │ │ │ 0000000001cc0860 0000000000000008 R_X86_64_RELATIVE 1ccd578 │ │ │ │ 0000000001cc0868 0000000000000008 R_X86_64_RELATIVE 18742b0 │ │ │ │ 0000000001cc0870 0000000000000008 R_X86_64_RELATIVE 1874370 │ │ │ │ 0000000001cc0878 0000000000000008 R_X86_64_RELATIVE 1874120 │ │ │ │ 0000000001cc0880 0000000000000008 R_X86_64_RELATIVE 1876600 │ │ │ │ 0000000001cc0888 0000000000000008 R_X86_64_RELATIVE 1874100 │ │ │ │ 0000000001cc0890 0000000000000008 R_X86_64_RELATIVE 1874490 │ │ │ │ @@ -9338,15 +9338,15 @@ │ │ │ │ 0000000001cd4380 0000000000000008 R_X86_64_RELATIVE 1999192 │ │ │ │ 0000000001cd43a0 0000000000000008 R_X86_64_RELATIVE 1998ea9 │ │ │ │ 0000000001cd43c0 0000000000000008 R_X86_64_RELATIVE 199de98 │ │ │ │ 0000000001cd43e0 0000000000000008 R_X86_64_RELATIVE 19a54d7 │ │ │ │ 0000000001cd4400 0000000000000008 R_X86_64_RELATIVE 19a54d4 │ │ │ │ 0000000001cd4420 0000000000000008 R_X86_64_RELATIVE 19a4b09 │ │ │ │ 0000000001cd4440 0000000000000008 R_X86_64_RELATIVE 19a49a0 │ │ │ │ -0000000001cd4460 0000000000000008 R_X86_64_RELATIVE 19a5115 │ │ │ │ +0000000001cd4460 0000000000000008 R_X86_64_RELATIVE 19a5129 │ │ │ │ 0000000001cd4480 0000000000000008 R_X86_64_RELATIVE 1998ec3 │ │ │ │ 0000000001cd44a0 0000000000000008 R_X86_64_RELATIVE 19a4afb │ │ │ │ 0000000001cd44c0 0000000000000008 R_X86_64_RELATIVE 19a54e6 │ │ │ │ 0000000001cd44e0 0000000000000008 R_X86_64_RELATIVE 19a54e3 │ │ │ │ 0000000001cd4500 0000000000000008 R_X86_64_RELATIVE 1977e78 │ │ │ │ 0000000001cd4520 0000000000000008 R_X86_64_RELATIVE 198c710 │ │ │ │ 0000000001cd4540 0000000000000008 R_X86_64_RELATIVE 19a54f4 │ │ │ │ @@ -9502,16 +9502,16 @@ │ │ │ │ 0000000001cd5800 0000000000000008 R_X86_64_RELATIVE 19a4b58 │ │ │ │ 0000000001cd5820 0000000000000008 R_X86_64_RELATIVE 19a478b │ │ │ │ 0000000001cd5840 0000000000000008 R_X86_64_RELATIVE 19a4b6b │ │ │ │ 0000000001cd5860 0000000000000008 R_X86_64_RELATIVE 19a4b83 │ │ │ │ 0000000001cd5880 0000000000000008 R_X86_64_RELATIVE 19a4b94 │ │ │ │ 0000000001cd58a0 0000000000000008 R_X86_64_RELATIVE 19a587d │ │ │ │ 0000000001cd58c0 0000000000000008 R_X86_64_RELATIVE 19a587a │ │ │ │ -0000000001cd58e0 0000000000000008 R_X86_64_RELATIVE 19a5119 │ │ │ │ -0000000001cd5900 0000000000000008 R_X86_64_RELATIVE 19a510a │ │ │ │ +0000000001cd58e0 0000000000000008 R_X86_64_RELATIVE 19a510a │ │ │ │ +0000000001cd5900 0000000000000008 R_X86_64_RELATIVE 19a511e │ │ │ │ 0000000001cd5920 0000000000000008 R_X86_64_RELATIVE 19a5894 │ │ │ │ 0000000001cd5940 0000000000000008 R_X86_64_RELATIVE 19a5891 │ │ │ │ 0000000001cd5960 0000000000000008 R_X86_64_RELATIVE 19a4908 │ │ │ │ 0000000001cd5980 0000000000000008 R_X86_64_RELATIVE 19a58a9 │ │ │ │ 0000000001cd59a0 0000000000000008 R_X86_64_RELATIVE 19a58a6 │ │ │ │ 0000000001cd59c0 0000000000000008 R_X86_64_RELATIVE 19a58ba │ │ │ │ 0000000001cd59e0 0000000000000008 R_X86_64_RELATIVE 19a58b7 │ │ │ ├── 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: abe3279c86e88a317ecf70fbc31f85a9178e54d4 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 21da017c29f0c81b354d2d97e678c4a3b13fae6a │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -28458,16 +28458,16 @@ │ │ │ │ timeout-core-timeout │ │ │ │ trigger-active-sel │ │ │ │ trigger-sel │ │ │ │ uf-ss-abort-card │ │ │ │ unate-lemmas │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ -partitions-out │ │ │ │ write-partitions-to │ │ │ │ +partitions-out │ │ │ │ [options] [input-file] │ │ │ │ cvc5 options: │ │ │ │ +:iL:o:qt:vhHs:Vm │ │ │ │ can't understand option ` │ │ │ │ Common options: │ │ │ │ Regular options: │ │ │ │ Expert options: │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -587708,19 +587708,19 @@ │ │ │ │ movl $0xb9,0x1d78(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x1da8(%rsp),%rdi │ │ │ │ lea 0x163a7bc(%rip),%rsi │ │ │ │ movl $0xba,0x1da0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x1dd0(%rsp),%rdi │ │ │ │ - lea 0x163a914(%rip),%rsi │ │ │ │ + lea 0x163a7ab(%rip),%rsi │ │ │ │ movl $0xbb,0x1dc8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x1df8(%rsp),%rdi │ │ │ │ - lea 0x163a78c(%rip),%rsi │ │ │ │ + lea 0x163a8f5(%rip),%rsi │ │ │ │ movl $0xbc,0x1df0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x1e20(%rsp),%rdi │ │ │ │ lea 0x163c2d7(%rip),%rsi │ │ │ │ movl $0xbc,0x1e18(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x1e48(%rsp),%rdi │ │ │ │ @@ -587964,31 +587964,31 @@ │ │ │ │ movl $0xf8,0x2778(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x27a8(%rsp),%rdi │ │ │ │ lea 0x163b625(%rip),%rsi │ │ │ │ movl $0xf9,0x27a0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x27d0(%rsp),%rdi │ │ │ │ - lea 0x162e50e(%rip),%rsi │ │ │ │ + lea 0x163a774(%rip),%rsi │ │ │ │ movl $0xfa,0x27c8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x27f8(%rsp),%rdi │ │ │ │ - lea 0x163a741(%rip),%rsi │ │ │ │ + lea 0x162e4ef(%rip),%rsi │ │ │ │ movl $0xfb,0x27f0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2820(%rsp),%rdi │ │ │ │ lea 0x163a108(%rip),%rsi │ │ │ │ movl $0xfb,0x2818(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2848(%rsp),%rdi │ │ │ │ - lea 0x1632b15(%rip),%rsi │ │ │ │ + lea 0x163a0f0(%rip),%rsi │ │ │ │ movl $0xfc,0x2840(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2870(%rsp),%rdi │ │ │ │ - lea 0x163a0d1(%rip),%rsi │ │ │ │ + lea 0x1632af6(%rip),%rsi │ │ │ │ movl $0xfd,0x2868(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2898(%rsp),%rdi │ │ │ │ lea 0x163aa96(%rip),%rsi │ │ │ │ movl $0xfd,0x2890(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x28c0(%rsp),%rdi │ │ │ │ @@ -588016,19 +588016,19 @@ │ │ │ │ movl $0x102,0x2980(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x29b0(%rsp),%rdi │ │ │ │ lea 0x163a01a(%rip),%rsi │ │ │ │ movl $0x103,0x29a8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x29d8(%rsp),%rdi │ │ │ │ - lea 0x1639c43(%rip),%rsi │ │ │ │ + lea 0x163a010(%rip),%rsi │ │ │ │ movl $0x104,0x29d0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2a00(%rsp),%rdi │ │ │ │ - lea 0x1639ff1(%rip),%rsi │ │ │ │ + lea 0x1639c24(%rip),%rsi │ │ │ │ movl $0x105,0x29f8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2a28(%rsp),%rdi │ │ │ │ lea 0x1639fe5(%rip),%rsi │ │ │ │ movl $0x105,0x2a20(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2a50(%rsp),%rdi │ │ │ │ @@ -588124,19 +588124,19 @@ │ │ │ │ movl $0x11c,0x2db8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2de8(%rsp),%rdi │ │ │ │ lea 0x163b709(%rip),%rsi │ │ │ │ movl $0x11d,0x2de0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2e10(%rsp),%rdi │ │ │ │ - lea 0x163b713(%rip),%rsi │ │ │ │ + lea 0x163b6fd(%rip),%rsi │ │ │ │ movl $0x11e,0x2e08(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2e38(%rsp),%rdi │ │ │ │ - lea 0x163b6de(%rip),%rsi │ │ │ │ + lea 0x163b6f4(%rip),%rsi │ │ │ │ movl $0x11f,0x2e30(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2e60(%rsp),%rdi │ │ │ │ lea 0x163b6e9(%rip),%rsi │ │ │ │ movl $0x11f,0x2e58(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x2e88(%rsp),%rdi │ │ │ │ @@ -588364,19 +588364,19 @@ │ │ │ │ movl $0x156,0x3718(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x3748(%rsp),%rdi │ │ │ │ lea 0x163979d(%rip),%rsi │ │ │ │ movl $0x157,0x3740(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x3770(%rsp),%rdi │ │ │ │ - lea 0x1639785(%rip),%rsi │ │ │ │ + lea 0x162d909(%rip),%rsi │ │ │ │ movl $0x158,0x3768(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x3798(%rsp),%rdi │ │ │ │ - lea 0x162d8ea(%rip),%rsi │ │ │ │ + lea 0x1639766(%rip),%rsi │ │ │ │ movl $0x159,0x3790(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x37c0(%rsp),%rdi │ │ │ │ lea 0x1639752(%rip),%rsi │ │ │ │ movl $0x159,0x37b8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x37e8(%rsp),%rdi │ │ │ │ @@ -588400,19 +588400,19 @@ │ │ │ │ movl $0x15e,0x3880(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x38b0(%rsp),%rdi │ │ │ │ lea 0x1639d3f(%rip),%rsi │ │ │ │ movl $0x15f,0x38a8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x38d8(%rsp),%rdi │ │ │ │ - lea 0x16411c5(%rip),%rsi │ │ │ │ + lea 0x163968e(%rip),%rsi │ │ │ │ movl $0x160,0x38d0(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x3900(%rsp),%rdi │ │ │ │ - lea 0x163966f(%rip),%rsi │ │ │ │ + lea 0x16411a6(%rip),%rsi │ │ │ │ movl $0x161,0x38f8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x3928(%rsp),%rdi │ │ │ │ lea 0x163a139(%rip),%rsi │ │ │ │ movl $0x161,0x3920(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x3950(%rsp),%rdi │ │ │ │ @@ -589052,15 +589052,15 @@ │ │ │ │ movl $0x1ff,0x51f8(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x5228(%rsp),%rdi │ │ │ │ lea 0x1638684(%rip),%rsi │ │ │ │ movl $0x200,0x5220(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x5250(%rsp),%rax │ │ │ │ - lea 0x1638674(%rip),%rsi │ │ │ │ + lea 0x1638679(%rip),%rsi │ │ │ │ movl $0x201,0x5248(%rsp) │ │ │ │ mov %rax,%rdi │ │ │ │ mov %rax,0x10(%rsp) │ │ │ │ call 16be4e0 │ │ │ │ lea 0x19707ec(%rip),%rax │ │ │ │ xor %esi,%esi │ │ │ │ movl $0x201,0x5270(%rsp) │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ call 754c00 , std::__detail::_Identity, std::equal_to, std::hash, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits >::~_Hashtable()@@Base+0x280> │ │ │ │ pxor %xmm0,%xmm0 │ │ │ │ movq %rax,%xmm2 │ │ │ │ mov %rax,%rsi │ │ │ │ mov %r15,%rdi │ │ │ │ punpcklqdq %xmm2,%xmm0 │ │ │ │ movaps %xmm0,(%rsp) │ │ │ │ -[ Too much input for diff (SHA256: edf2189422449b7929f94af65fb040b1f52b0f052936396b0219aa1bb4b770af) ] │ │ │ │ +[ Too much input for diff (SHA256: e0f4ca81372f246860efccfdac0ce0c8039e9dfa9b3b68cddf0fad80480568c2) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -24844,17 +24844,17 @@ │ │ │ │ 0x019a5090 622d6d6f 64650074 696d656f 75742d63 b-mode.timeout-c │ │ │ │ 0x019a50a0 6f72652d 74696d65 6f757400 74726967 ore-timeout.trig │ │ │ │ 0x019a50b0 6765722d 61637469 76652d73 656c0074 ger-active-sel.t │ │ │ │ 0x019a50c0 72696767 65722d73 656c0075 662d7373 rigger-sel.uf-ss │ │ │ │ 0x019a50d0 0075662d 73732d61 626f7274 2d636172 .uf-ss-abort-car │ │ │ │ 0x019a50e0 6400756e 6174652d 6c656d6d 61730075 d.unate-lemmas.u │ │ │ │ 0x019a50f0 7365722d 70617400 75736572 2d706f6f ser-pat.user-poo │ │ │ │ - 0x019a5100 6c007665 72626f73 65007061 72746974 l.verbose.partit │ │ │ │ - 0x019a5110 696f6e73 2d6f7574 00777269 74652d70 ions-out.write-p │ │ │ │ - 0x019a5120 61727469 74696f6e 732d746f 00757361 artitions-to.usa │ │ │ │ + 0x019a5100 6c007665 72626f73 65007772 6974652d l.verbose.write- │ │ │ │ + 0x019a5110 70617274 6974696f 6e732d74 6f007061 partitions-to.pa │ │ │ │ + 0x019a5120 72746974 696f6e73 2d6f7574 00757361 rtitions-out.usa │ │ │ │ 0x019a5130 67653a20 00205b6f 7074696f 6e735d20 ge: . [options] │ │ │ │ 0x019a5140 5b696e70 75742d66 696c655d 00637663 [input-file].cvc │ │ │ │ 0x019a5150 35206f70 74696f6e 733a002b 3a694c3a 5 options:.+:iL: │ │ │ │ 0x019a5160 6f3a7174 3a766848 733a566d 0063616e o:qt:vhHs:Vm.can │ │ │ │ 0x019a5170 27742075 6e646572 7374616e 64206f70 't understand op │ │ │ │ 0x019a5180 74696f6e 20600043 6f6d6d6f 6e206f70 tion `.Common op │ │ │ │ 0x019a5190 74696f6e 733a0052 6567756c 6172206f tions:.Regular o │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -2043,15 +2043,15 @@ │ │ │ │ 0x01cbee80 9d9e9901 00000000 c7419a01 00000000 .........A...... │ │ │ │ 0x01cbee90 d6419a01 00000000 00000000 00000000 .A.............. │ │ │ │ 0x01cbeea0 92af9a01 00000000 2a2b9a01 00000000 ........*+...... │ │ │ │ 0x01cbeeb0 4daf9a01 00000000 00000000 00000000 M............... │ │ │ │ 0x01cbeec0 4ccc9a01 00000000 a1979901 00000000 L............... │ │ │ │ 0x01cbeed0 bb979901 00000000 00000000 00000000 ................ │ │ │ │ 0x01cbeee0 4ccc9a01 00000000 98de9901 00000000 L............... │ │ │ │ - 0x01cbeef0 15519a01 00000000 00000000 00000000 .Q.............. │ │ │ │ + 0x01cbeef0 29519a01 00000000 00000000 00000000 )Q.............. │ │ │ │ 0x01cbef00 ff5e9a01 00000000 b9419a01 00000000 .^.......A...... │ │ │ │ 0x01cbef10 ab419a01 00000000 00000000 00000000 .A.............. │ │ │ │ 0x01cbef20 65c59901 00000000 deb89a01 00000000 e............... │ │ │ │ 0x01cbef30 a7419a01 00000000 00000000 00000000 .A.............. │ │ │ │ 0x01cbef40 83419a01 00000000 8d419a01 00000000 .A.......A...... │ │ │ │ 0x01cbef50 96419a01 00000000 4c409a01 00000000 .A......L@...... │ │ │ │ 0x01cbef60 92af9a01 00000000 77419a01 00000000 ........wA...... │ │ │ │ @@ -2314,23 +2314,23 @@ │ │ │ │ 0x01cbff70 37539a01 00000000 48539a01 00000000 7S......HS...... │ │ │ │ 0x01cbff80 59539a01 00000000 6b539a01 00000000 YS......kS...... │ │ │ │ 0x01cbff90 ca4a9a01 00000000 80539a01 00000000 .J.......S...... │ │ │ │ 0x01cbffa0 95539a01 00000000 a7539a01 00000000 .S.......S...... │ │ │ │ 0x01cbffb0 c4539a01 00000000 00cc9901 00000000 .S.............. │ │ │ │ 0x01cbffc0 ce539a01 00000000 4d659a01 00000000 .S......Me...... │ │ │ │ 0x01cbffd0 df4a9a01 00000000 bb5f9a01 00000000 .J......._...... │ │ │ │ - 0x01cbffe0 15519a01 00000000 fb4a9a01 00000000 .Q.......J...... │ │ │ │ + 0x01cbffe0 29519a01 00000000 fb4a9a01 00000000 )Q.......J...... │ │ │ │ 0x01cbfff0 024b9a01 00000000 27d59901 00000000 .K......'....... │ │ │ │ 0x01cc0000 e6549a01 00000000 e7589a01 00000000 .T.......X...... │ │ │ │ 0x01cc0010 0e4b9a01 00000000 c65f9a01 00000000 .K......._...... │ │ │ │ 0x01cc0020 8b479a01 00000000 1b4b9a01 00000000 .G.......K...... │ │ │ │ 0x01cc0030 2b4b9a01 00000000 434b9a01 00000000 +K......CK...... │ │ │ │ 0x01cc0040 584b9a01 00000000 6b4b9a01 00000000 XK......kK...... │ │ │ │ 0x01cc0050 834b9a01 00000000 944b9a01 00000000 .K.......K...... │ │ │ │ - 0x01cc0060 0a519a01 00000000 e6539a01 00000000 .Q.......S...... │ │ │ │ + 0x01cc0060 1e519a01 00000000 e6539a01 00000000 .Q.......S...... │ │ │ │ 0x01cc0070 39d19901 00000000 787e9701 00000000 9.......x~...... │ │ │ │ 0x01cc0080 f4549a01 00000000 da5f9a01 00000000 .T......._...... │ │ │ │ 0x01cc0090 39589a01 00000000 a34b9a01 00000000 9X.......K...... │ │ │ │ 0x01cc00a0 b24b9a01 00000000 69cd9901 00000000 .K......i....... │ │ │ │ 0x01cc00b0 e75f9a01 00000000 5bcf9901 00000000 ._......[....... │ │ │ │ 0x01cc00c0 02609a01 00000000 0c559a01 00000000 .`.......U...... │ │ │ │ 0x01cc00d0 c94b9a01 00000000 53599a01 00000000 .K......SY...... │ │ │ │ @@ -2449,15 +2449,15 @@ │ │ │ │ 0x01cc07e0 62ce9901 00000000 22549a01 00000000 b......."T...... │ │ │ │ 0x01cc07f0 30549a01 00000000 6c589a01 00000000 0T......lX...... │ │ │ │ 0x01cc0800 41549a01 00000000 ef509a01 00000000 AT.......P...... │ │ │ │ 0x01cc0810 f8509a01 00000000 4c639a01 00000000 .P......Lc...... │ │ │ │ 0x01cc0820 5e639a01 00000000 77639a01 00000000 ^c......wc...... │ │ │ │ 0x01cc0830 02519a01 00000000 4d739901 00000000 .Q......Ms...... │ │ │ │ 0x01cc0840 e7729901 00000000 0c579a01 00000000 .r.......W...... │ │ │ │ - 0x01cc0850 19519a01 00000000 00000000 00000000 .Q.............. │ │ │ │ + 0x01cc0850 0a519a01 00000000 00000000 00000000 .Q.............. │ │ │ │ 0x01cc0860 78d5cc01 00000000 b0428701 00000000 x........B...... │ │ │ │ 0x01cc0870 70438701 00000000 20418701 00000000 pC...... A...... │ │ │ │ 0x01cc0880 00668701 00000000 00418701 00000000 .f.......A...... │ │ │ │ 0x01cc0890 90448701 00000000 00000000 00000000 .D.............. │ │ │ │ 0x01cc08a0 a8d5cc01 00000000 50458701 00000000 ........PE...... │ │ │ │ 0x01cc08b0 e04a8701 00000000 30418701 00000000 .J......0A...... │ │ │ │ 0x01cc08c0 00518701 00000000 40588701 00000000 .Q......@X...... │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -322,15 +322,15 @@ │ │ │ │ 0x01cd43f0 00000000 00000000 77010000 00000000 ........w....... │ │ │ │ 0x01cd4400 d4549a01 00000000 00000000 00000000 .T.............. │ │ │ │ 0x01cd4410 00000000 00000000 78010000 00000000 ........x....... │ │ │ │ 0x01cd4420 094b9a01 00000000 01000000 00000000 .K.............. │ │ │ │ 0x01cd4430 00000000 00000000 79010000 00000000 ........y....... │ │ │ │ 0x01cd4440 a0499a01 00000000 01000000 00000000 .I.............. │ │ │ │ 0x01cd4450 00000000 00000000 7a010000 00000000 ........z....... │ │ │ │ - 0x01cd4460 15519a01 00000000 01000000 00000000 .Q.............. │ │ │ │ + 0x01cd4460 29519a01 00000000 01000000 00000000 )Q.............. │ │ │ │ 0x01cd4470 00000000 00000000 7b010000 00000000 ........{....... │ │ │ │ 0x01cd4480 c38e9901 00000000 01000000 00000000 ................ │ │ │ │ 0x01cd4490 00000000 00000000 7c010000 00000000 ........|....... │ │ │ │ 0x01cd44a0 fb4a9a01 00000000 01000000 00000000 .J.............. │ │ │ │ 0x01cd44b0 00000000 00000000 7d010000 00000000 ........}....... │ │ │ │ 0x01cd44c0 e6549a01 00000000 00000000 00000000 .T.............. │ │ │ │ 0x01cd44d0 00000000 00000000 7e010000 00000000 ........~....... │ │ │ │ @@ -650,17 +650,17 @@ │ │ │ │ 0x01cd5870 00000000 00000000 1b020000 00000000 ................ │ │ │ │ 0x01cd5880 944b9a01 00000000 01000000 00000000 .K.............. │ │ │ │ 0x01cd5890 00000000 00000000 1c020000 00000000 ................ │ │ │ │ 0x01cd58a0 7d589a01 00000000 00000000 00000000 }X.............. │ │ │ │ 0x01cd58b0 00000000 00000000 1d020000 00000000 ................ │ │ │ │ 0x01cd58c0 7a589a01 00000000 00000000 00000000 zX.............. │ │ │ │ 0x01cd58d0 00000000 00000000 1e020000 00000000 ................ │ │ │ │ - 0x01cd58e0 19519a01 00000000 01000000 00000000 .Q.............. │ │ │ │ + 0x01cd58e0 0a519a01 00000000 01000000 00000000 .Q.............. │ │ │ │ 0x01cd58f0 00000000 00000000 1f020000 00000000 ................ │ │ │ │ - 0x01cd5900 0a519a01 00000000 01000000 00000000 .Q.............. │ │ │ │ + 0x01cd5900 1e519a01 00000000 01000000 00000000 .Q.............. │ │ │ │ 0x01cd5910 00000000 00000000 20020000 00000000 ........ ....... │ │ │ │ 0x01cd5920 94589a01 00000000 00000000 00000000 .X.............. │ │ │ │ 0x01cd5930 00000000 00000000 21020000 00000000 ........!....... │ │ │ │ 0x01cd5940 91589a01 00000000 00000000 00000000 .X.............. │ │ │ │ 0x01cd5950 00000000 00000000 22020000 00000000 ........"....... │ │ │ │ 0x01cd5960 08499a01 00000000 01000000 00000000 .I.............. │ │ │ │ 0x01cd5970 00000000 00000000 23020000 00000000 ........#....... │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 65333237 39633836 65383861 33313765 e3279c86e88a317e │ │ │ │ - 0x00000010 63663730 66626333 31663835 61393137 cf70fbc31f85a917 │ │ │ │ - 0x00000020 38653534 64342e64 65627567 00000000 8e54d4.debug.... │ │ │ │ - 0x00000030 d37737a3 .w7. │ │ │ │ + 0x00000000 64613031 37633239 66306338 31623335 da017c29f0c81b35 │ │ │ │ + 0x00000010 34643264 39376536 37386334 61336231 4d2d97e678c4a3b1 │ │ │ │ + 0x00000020 33666165 36612e64 65627567 00000000 3fae6a.debug.... │ │ │ │ + 0x00000030 0cea2587 ..%.