--- /srv/rebuilderd/tmp/rebuilderdVzphzn/inputs/libcvc5-1_1.1.2-3_amd64.deb +++ /srv/rebuilderd/tmp/rebuilderdVzphzn/out/libcvc5-1_1.1.2-3_amd64.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 6689904 2025-07-27 11:13:23.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 6690988 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/x86_64-linux-gnu/libcvc5.so.1 │ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied. │ │ │ ├── readelf --wide --relocs {} │ │ │ │ @@ -3796,15 +3796,15 @@ │ │ │ │ 000000000186bfc8 0000000000000008 R_X86_64_RELATIVE 15a225f │ │ │ │ 000000000186bfd0 0000000000000008 R_X86_64_RELATIVE 15a2258 │ │ │ │ 000000000186bfe0 0000000000000008 R_X86_64_RELATIVE 15a3393 │ │ │ │ 000000000186bfe8 0000000000000008 R_X86_64_RELATIVE 1599cc9 │ │ │ │ 000000000186bff0 0000000000000008 R_X86_64_RELATIVE 1599ce3 │ │ │ │ 000000000186c000 0000000000000008 R_X86_64_RELATIVE 15a3393 │ │ │ │ 000000000186c008 0000000000000008 R_X86_64_RELATIVE 159d8f7 │ │ │ │ -000000000186c010 0000000000000008 R_X86_64_RELATIVE 15a47a1 │ │ │ │ +000000000186c010 0000000000000008 R_X86_64_RELATIVE 15a478d │ │ │ │ 000000000186c020 0000000000000008 R_X86_64_RELATIVE 15a546c │ │ │ │ 000000000186c028 0000000000000008 R_X86_64_RELATIVE 15a3887 │ │ │ │ 000000000186c030 0000000000000008 R_X86_64_RELATIVE 15a3879 │ │ │ │ 000000000186c040 0000000000000008 R_X86_64_RELATIVE 15a3855 │ │ │ │ 000000000186c048 0000000000000008 R_X86_64_RELATIVE 15a385f │ │ │ │ 000000000186c050 0000000000000008 R_X86_64_RELATIVE 15a3868 │ │ │ │ 000000000186c058 0000000000000008 R_X86_64_RELATIVE 15a3739 │ │ │ │ @@ -4227,29 +4227,29 @@ │ │ │ │ 000000000186cf28 0000000000000008 R_X86_64_RELATIVE 15a4a78 │ │ │ │ 000000000186cf30 0000000000000008 R_X86_64_RELATIVE 15a4a95 │ │ │ │ 000000000186cf38 0000000000000008 R_X86_64_RELATIVE 15a40cc │ │ │ │ 000000000186cf40 0000000000000008 R_X86_64_RELATIVE 15a4a9f │ │ │ │ 000000000186cf48 0000000000000008 R_X86_64_RELATIVE 15a5a2f │ │ │ │ 000000000186cf50 0000000000000008 R_X86_64_RELATIVE 15a40d3 │ │ │ │ 000000000186cf58 0000000000000008 R_X86_64_RELATIVE 15a54fb │ │ │ │ -000000000186cf60 0000000000000008 R_X86_64_RELATIVE 15a47a1 │ │ │ │ +000000000186cf60 0000000000000008 R_X86_64_RELATIVE 15a478d │ │ │ │ 000000000186cf68 0000000000000008 R_X86_64_RELATIVE 15a40ef │ │ │ │ 000000000186cf70 0000000000000008 R_X86_64_RELATIVE 15a40f6 │ │ │ │ 000000000186cf78 0000000000000008 R_X86_64_RELATIVE 159cff4 │ │ │ │ 000000000186cf80 0000000000000008 R_X86_64_RELATIVE 15a4baf │ │ │ │ 000000000186cf88 0000000000000008 R_X86_64_RELATIVE 15a5506 │ │ │ │ 000000000186cf90 0000000000000008 R_X86_64_RELATIVE 15a3dbf │ │ │ │ 000000000186cf98 0000000000000008 R_X86_64_RELATIVE 15a4102 │ │ │ │ 000000000186cfa0 0000000000000008 R_X86_64_RELATIVE 15a4112 │ │ │ │ 000000000186cfa8 0000000000000008 R_X86_64_RELATIVE 15a412a │ │ │ │ 000000000186cfb0 0000000000000008 R_X86_64_RELATIVE 15a413f │ │ │ │ 000000000186cfb8 0000000000000008 R_X86_64_RELATIVE 15a4152 │ │ │ │ 000000000186cfc0 0000000000000008 R_X86_64_RELATIVE 15a416a │ │ │ │ 000000000186cfc8 0000000000000008 R_X86_64_RELATIVE 15a417b │ │ │ │ -000000000186cfd0 0000000000000008 R_X86_64_RELATIVE 15a4796 │ │ │ │ +000000000186cfd0 0000000000000008 R_X86_64_RELATIVE 15a4782 │ │ │ │ 000000000186cfd8 0000000000000008 R_X86_64_RELATIVE 15a4ab7 │ │ │ │ 000000000186cfe0 0000000000000008 R_X86_64_RELATIVE 15a418a │ │ │ │ 000000000186cfe8 0000000000000008 R_X86_64_RELATIVE 15a551a │ │ │ │ 000000000186cff0 0000000000000008 R_X86_64_RELATIVE 15a419a │ │ │ │ 000000000186cff8 0000000000000008 R_X86_64_RELATIVE 15a41a9 │ │ │ │ 000000000186d000 0000000000000008 R_X86_64_RELATIVE 15a41c0 │ │ │ │ 000000000186d008 0000000000000008 R_X86_64_RELATIVE 15a5527 │ │ │ │ @@ -4471,15 +4471,15 @@ │ │ │ │ 000000000186d6c8 0000000000000008 R_X86_64_RELATIVE 15a4770 │ │ │ │ 000000000186d6d0 0000000000000008 R_X86_64_RELATIVE 15a586c │ │ │ │ 000000000186d6d8 0000000000000008 R_X86_64_RELATIVE 15a587e │ │ │ │ 000000000186d6e0 0000000000000008 R_X86_64_RELATIVE 15a477a │ │ │ │ 000000000186d6e8 0000000000000008 R_X86_64_RELATIVE 1597329 │ │ │ │ 000000000186d6f0 0000000000000008 R_X86_64_RELATIVE 15972ce │ │ │ │ 000000000186d6f8 0000000000000008 R_X86_64_RELATIVE 15a4dbc │ │ │ │ -000000000186d700 0000000000000008 R_X86_64_RELATIVE 15a4782 │ │ │ │ +000000000186d700 0000000000000008 R_X86_64_RELATIVE 15a4791 │ │ │ │ 000000000186d710 0000000000000008 R_X86_64_RELATIVE 1878c48 │ │ │ │ 000000000186d718 0000000000000008 R_X86_64_RELATIVE 14a2040 │ │ │ │ 000000000186d720 0000000000000008 R_X86_64_RELATIVE 14a2100 │ │ │ │ 000000000186d728 0000000000000008 R_X86_64_RELATIVE 14a1e50 │ │ │ │ 000000000186d730 0000000000000008 R_X86_64_RELATIVE 14a4030 │ │ │ │ 000000000186d738 0000000000000008 R_X86_64_RELATIVE 14a1e30 │ │ │ │ 000000000186d740 0000000000000008 R_X86_64_RELATIVE 14a21e0 │ │ │ │ @@ -8478,15 +8478,15 @@ │ │ │ │ 000000000187e300 0000000000000008 R_X86_64_RELATIVE 15996ce │ │ │ │ 000000000187e320 0000000000000008 R_X86_64_RELATIVE 1597349 │ │ │ │ 000000000187e340 0000000000000008 R_X86_64_RELATIVE 159d8f7 │ │ │ │ 000000000187e360 0000000000000008 R_X86_64_RELATIVE 15a4ba0 │ │ │ │ 000000000187e380 0000000000000008 R_X86_64_RELATIVE 15a4b9d │ │ │ │ 000000000187e3a0 0000000000000008 R_X86_64_RELATIVE 15a40fd │ │ │ │ 000000000187e3c0 0000000000000008 R_X86_64_RELATIVE 15a3fc3 │ │ │ │ -000000000187e3e0 0000000000000008 R_X86_64_RELATIVE 15a47a1 │ │ │ │ +000000000187e3e0 0000000000000008 R_X86_64_RELATIVE 15a478d │ │ │ │ 000000000187e400 0000000000000008 R_X86_64_RELATIVE 1597363 │ │ │ │ 000000000187e420 0000000000000008 R_X86_64_RELATIVE 15a40ef │ │ │ │ 000000000187e440 0000000000000008 R_X86_64_RELATIVE 15a4baf │ │ │ │ 000000000187e460 0000000000000008 R_X86_64_RELATIVE 15a4bac │ │ │ │ 000000000187e480 0000000000000008 R_X86_64_RELATIVE 15a4bbd │ │ │ │ 000000000187e4a0 0000000000000008 R_X86_64_RELATIVE 15a4bba │ │ │ │ 000000000187e4c0 0000000000000008 R_X86_64_RELATIVE 159bdd3 │ │ │ │ @@ -8629,16 +8629,16 @@ │ │ │ │ 000000000187f5e0 0000000000000008 R_X86_64_RELATIVE 15a413f │ │ │ │ 000000000187f600 0000000000000008 R_X86_64_RELATIVE 15a3dbf │ │ │ │ 000000000187f620 0000000000000008 R_X86_64_RELATIVE 15a4152 │ │ │ │ 000000000187f640 0000000000000008 R_X86_64_RELATIVE 15a416a │ │ │ │ 000000000187f660 0000000000000008 R_X86_64_RELATIVE 15a417b │ │ │ │ 000000000187f680 0000000000000008 R_X86_64_RELATIVE 15a4f07 │ │ │ │ 000000000187f6a0 0000000000000008 R_X86_64_RELATIVE 15a4f04 │ │ │ │ -000000000187f6c0 0000000000000008 R_X86_64_RELATIVE 15a4782 │ │ │ │ -000000000187f6e0 0000000000000008 R_X86_64_RELATIVE 15a4796 │ │ │ │ +000000000187f6c0 0000000000000008 R_X86_64_RELATIVE 15a4791 │ │ │ │ +000000000187f6e0 0000000000000008 R_X86_64_RELATIVE 15a4782 │ │ │ │ 000000000187f700 0000000000000008 R_X86_64_RELATIVE 15a4f1e │ │ │ │ 000000000187f720 0000000000000008 R_X86_64_RELATIVE 15a4f1b │ │ │ │ 000000000187f740 0000000000000008 R_X86_64_RELATIVE 15a3f18 │ │ │ │ 000000000187f760 0000000000000008 R_X86_64_RELATIVE 15a4f33 │ │ │ │ 000000000187f780 0000000000000008 R_X86_64_RELATIVE 15a4f30 │ │ │ │ 000000000187f7a0 0000000000000008 R_X86_64_RELATIVE 15a4f49 │ │ │ │ 000000000187f7c0 0000000000000008 R_X86_64_RELATIVE 15a4f46 │ │ │ ├── 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: 14c9846c5f433c7ac259638699ef8daaf187db86 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: abfd23421d1054b269f2daa75228183396c70d26 │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -26817,16 +26817,16 @@ │ │ │ │ trigger-active-sel │ │ │ │ trigger-sel │ │ │ │ uf-ss-abort-card │ │ │ │ unate-lemmas │ │ │ │ unsat-cores-mode │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ -write-partitions-to │ │ │ │ partitions-out │ │ │ │ +write-partitions-to │ │ │ │ Argument ' │ │ │ │ ' for bool option │ │ │ │ is not a bool constant │ │ │ │ is negative │ │ │ │ did parse only partially as │ │ │ │ , leaving ' │ │ │ │ did not parse as │ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {} │ │ │ │ @@ -495831,19 +495831,19 @@ │ │ │ │ movl $0x52,0xd20(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0xd50(%rsp),%rdi │ │ │ │ lea 0x12d29f9(%rip),%rsi │ │ │ │ movl $0x53,0xd48(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0xd78(%rsp),%rdi │ │ │ │ - lea 0x12d0ea8(%rip),%rsi │ │ │ │ + lea 0x12d3cb5(%rip),%rsi │ │ │ │ movl $0x54,0xd70(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0xda0(%rsp),%rdi │ │ │ │ - lea 0x12d3c96(%rip),%rsi │ │ │ │ + lea 0x12d0e89(%rip),%rsi │ │ │ │ movl $0x55,0xd98(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0xdc8(%rsp),%rdi │ │ │ │ lea 0x12d04c2(%rip),%rsi │ │ │ │ movl $0x55,0xdc0(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0xdf0(%rsp),%rdi │ │ │ │ @@ -496207,19 +496207,19 @@ │ │ │ │ movl $0xae,0x1bd0(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x1c00(%rsp),%rdi │ │ │ │ lea 0x12d04b1(%rip),%rsi │ │ │ │ movl $0xaf,0x1bf8(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x1c28(%rsp),%rdi │ │ │ │ - lea 0x12d05da(%rip),%rsi │ │ │ │ + lea 0x12d04a0(%rip),%rsi │ │ │ │ movl $0xb0,0x1c20(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x1c50(%rsp),%rdi │ │ │ │ - lea 0x12d0481(%rip),%rsi │ │ │ │ + lea 0x12d05bb(%rip),%rsi │ │ │ │ movl $0xb1,0x1c48(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x1c78(%rsp),%rdi │ │ │ │ lea 0x12d1e8b(%rip),%rsi │ │ │ │ movl $0xb1,0x1c70(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x1ca0(%rsp),%rdi │ │ │ │ @@ -496427,31 +496427,31 @@ │ │ │ │ movl $0xe4,0x2468(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x2498(%rsp),%rdi │ │ │ │ lea 0x12d134e(%rip),%rsi │ │ │ │ movl $0xe5,0x2490(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x24c0(%rsp),%rdi │ │ │ │ - lea 0x12c3197(%rip),%rsi │ │ │ │ + lea 0x12d05c1(%rip),%rsi │ │ │ │ movl $0xe6,0x24b8(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x24e8(%rsp),%rdi │ │ │ │ - lea 0x12d05b6(%rip),%rsi │ │ │ │ + lea 0x12c3178(%rip),%rsi │ │ │ │ movl $0xe7,0x24e0(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x2510(%rsp),%rdi │ │ │ │ lea 0x12cfee5(%rip),%rsi │ │ │ │ movl $0xe7,0x2508(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x2538(%rsp),%rdi │ │ │ │ - lea 0x12cfecd(%rip),%rsi │ │ │ │ + lea 0x12c8dcb(%rip),%rsi │ │ │ │ movl $0xe8,0x2530(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x2560(%rsp),%rdi │ │ │ │ - lea 0x12c8dac(%rip),%rsi │ │ │ │ + lea 0x12cfeae(%rip),%rsi │ │ │ │ movl $0xe9,0x2558(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x2588(%rsp),%rdi │ │ │ │ lea 0x12d0948(%rip),%rsi │ │ │ │ movl $0xe9,0x2580(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x25b0(%rsp),%rdi │ │ │ │ @@ -497411,15 +497411,15 @@ │ │ │ │ movl $0x1d2,0x4ad8(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x4b08(%rsp),%rdi │ │ │ │ lea 0x12ce80b(%rip),%rsi │ │ │ │ movl $0x1d3,0x4b00(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x4b30(%rsp),%rax │ │ │ │ - lea 0x12ce800(%rip),%rsi │ │ │ │ + lea 0x12ce7fb(%rip),%rsi │ │ │ │ movl $0x1d4,0x4b28(%rsp) │ │ │ │ mov %rax,%rdi │ │ │ │ mov %rax,0x18(%rsp) │ │ │ │ call 13feab0 │ │ │ │ lea 0x15b087b(%rip),%rax │ │ │ │ xor %esi,%esi │ │ │ │ movl $0x1d4,0x4b50(%rsp) │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ mov 0xd8(%rsp),%rax │ │ │ │ sub %fs:0x28,%rax │ │ │ │ jne 11ce2d3 , std::allocator > >::_M_realloc_append >(std::pair&&)@@Base+0x25073> │ │ │ │ add $0xe8,%rsp │ │ │ │ mov %r12d,%eax │ │ │ │ pop %rbx │ │ │ │ pop %rbp │ │ │ │ -[ Too much input for diff (SHA256: e50724208404e96cc816aa6aabcbde1f2698347f1502e106ba218df7cb6ae4c7) ] │ │ │ │ +[ Too much input for diff (SHA256: b108a5b9aa3b9ec96d83f304078402b2fbe4caa5336e6a46bb51ebd3b43d8da8) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -22644,17 +22644,17 @@ │ │ │ │ 0x015a4710 63650074 72696767 65722d61 63746976 ce.trigger-activ │ │ │ │ 0x015a4720 652d7365 6c007472 69676765 722d7365 e-sel.trigger-se │ │ │ │ 0x015a4730 6c007566 2d737300 75662d73 732d6162 l.uf-ss.uf-ss-ab │ │ │ │ 0x015a4740 6f72742d 63617264 00756e61 74652d6c ort-card.unate-l │ │ │ │ 0x015a4750 656d6d61 7300756e 7361742d 636f7265 emmas.unsat-core │ │ │ │ 0x015a4760 732d6d6f 64650075 7365722d 70617400 s-mode.user-pat. │ │ │ │ 0x015a4770 75736572 2d706f6f 6c007665 72626f73 user-pool.verbos │ │ │ │ - 0x015a4780 65007772 6974652d 70617274 6974696f e.write-partitio │ │ │ │ - 0x015a4790 6e732d74 6f007061 72746974 696f6e73 ns-to.partitions │ │ │ │ - 0x015a47a0 2d6f7574 00417267 756d656e 74202700 -out.Argument '. │ │ │ │ + 0x015a4780 65007061 72746974 696f6e73 2d6f7574 e.partitions-out │ │ │ │ + 0x015a4790 00777269 74652d70 61727469 74696f6e .write-partition │ │ │ │ + 0x015a47a0 732d746f 00417267 756d656e 74202700 s-to.Argument '. │ │ │ │ 0x015a47b0 2720666f 7220626f 6f6c206f 7074696f ' for bool optio │ │ │ │ 0x015a47c0 6e200020 6973206e 6f742061 20626f6f n . is not a boo │ │ │ │ 0x015a47d0 6c20636f 6e737461 6e740025 66002720 l constant.%f.' │ │ │ │ 0x015a47e0 666f7220 00206973 206e6567 61746976 for . is negativ │ │ │ │ 0x015a47f0 65002064 69642070 61727365 206f6e6c e. did parse onl │ │ │ │ 0x015a4800 79207061 72746961 6c6c7920 61732000 y partially as . │ │ │ │ 0x015a4810 2c206c65 6176696e 67202700 20646964 , leaving '. did │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -1925,15 +1925,15 @@ │ │ │ │ 0x0186bfa0 cf9f5901 00000000 95385a01 00000000 ..Y......8Z..... │ │ │ │ 0x0186bfb0 a4385a01 00000000 00000000 00000000 .8Z............. │ │ │ │ 0x0186bfc0 cca95901 00000000 5f225a01 00000000 ..Y....._"Z..... │ │ │ │ 0x0186bfd0 58225a01 00000000 00000000 00000000 X"Z............. │ │ │ │ 0x0186bfe0 93335a01 00000000 c99c5901 00000000 .3Z.......Y..... │ │ │ │ 0x0186bff0 e39c5901 00000000 00000000 00000000 ..Y............. │ │ │ │ 0x0186c000 93335a01 00000000 f7d85901 00000000 .3Z.......Y..... │ │ │ │ - 0x0186c010 a1475a01 00000000 00000000 00000000 .GZ............. │ │ │ │ + 0x0186c010 8d475a01 00000000 00000000 00000000 .GZ............. │ │ │ │ 0x0186c020 6c545a01 00000000 87385a01 00000000 lTZ......8Z..... │ │ │ │ 0x0186c030 79385a01 00000000 00000000 00000000 y8Z............. │ │ │ │ 0x0186c040 55385a01 00000000 5f385a01 00000000 U8Z....._8Z..... │ │ │ │ 0x0186c050 68385a01 00000000 39375a01 00000000 h8Z.....97Z..... │ │ │ │ 0x0186c060 cca95901 00000000 49385a01 00000000 ..Y.....I8Z..... │ │ │ │ 0x0186c070 50385a01 00000000 00000000 00000000 P8Z............. │ │ │ │ 0x0186c080 c0355a01 00000000 cf355a01 00000000 .5Z......5Z..... │ │ │ │ @@ -2170,22 +2170,22 @@ │ │ │ │ 0x0186cef0 084a5a01 00000000 194a5a01 00000000 .JZ......JZ..... │ │ │ │ 0x0186cf00 2a4a5a01 00000000 3c4a5a01 00000000 *JZ.....