--- /srv/rebuilderd/tmp/rebuilderdAVDZnc/inputs/libcvc5-1_1.1.2-3_i386.deb +++ /srv/rebuilderd/tmp/rebuilderdAVDZnc/out/libcvc5-1_1.1.2-3_i386.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 1276 2025-07-27 11:13:23.000000 control.tar.xz │ --rw-r--r-- 0 0 0 7259416 2025-07-27 11:13:23.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 7257232 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/i386-linux-gnu/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: d8e571d2cdf379e69dac3c34be3baa55c8bd3ae7 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 7063dac9656b0ae5416094f45ff85f2dca1b443b │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -10535,16 +10535,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 {} │ │ │ │ @@ -757148,19 +757148,19 @@ │ │ │ │ movl $0x75,-0x27b8(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x2798(%ebp),%eax │ │ │ │ lea -0x35e10a(%esi),%edx │ │ │ │ movl $0x76,-0x279c(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x277c(%ebp),%eax │ │ │ │ - lea -0x36c11a(%esi),%edx │ │ │ │ + lea -0x369d8c(%esi),%edx │ │ │ │ movl $0x77,-0x2780(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x2760(%ebp),%eax │ │ │ │ - lea -0x369d8c(%esi),%edx │ │ │ │ + lea -0x36c11a(%esi),%edx │ │ │ │ movl $0x78,-0x2764(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x2744(%ebp),%eax │ │ │ │ lea -0x35f558(%esi),%edx │ │ │ │ movl $0x78,-0x2748(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x2728(%ebp),%eax │ │ │ │ @@ -757600,31 +757600,31 @@ │ │ │ │ movl $0xe4,-0x1b5c(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1b3c(%ebp),%eax │ │ │ │ lea -0x35df20(%esi),%edx │ │ │ │ movl $0xe5,-0x1b40(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1b20(%ebp),%eax │ │ │ │ - lea -0x36c100(%esi),%edx │ │ │ │ + lea -0x35ec88(%esi),%edx │ │ │ │ movl $0xe6,-0x1b24(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1b04(%ebp),%eax │ │ │ │ - lea -0x35ec74(%esi),%edx │ │ │ │ + lea -0x36c100(%esi),%edx │ │ │ │ movl $0xe7,-0x1b08(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1ae8(%ebp),%eax │ │ │ │ lea -0x35f326(%esi),%edx │ │ │ │ movl $0xe7,-0x1aec(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1acc(%ebp),%eax │ │ │ │ - lea -0x35f31f(%esi),%edx │ │ │ │ + lea -0x366445(%esi),%edx │ │ │ │ movl $0xe8,-0x1ad0(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1ab0(%ebp),%eax │ │ │ │ - lea -0x366445(%esi),%edx │ │ │ │ + lea -0x35f31f(%esi),%edx │ │ │ │ movl $0xe9,-0x1ab4(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1a94(%ebp),%eax │ │ │ │ lea -0x35e86c(%esi),%edx │ │ │ │ movl $0xe9,-0x1a98(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x1a78(%ebp),%eax │ │ │ │ @@ -758584,15 +758584,15 @@ │ │ │ │ movl $0x1d2,-0x74(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x54(%ebp),%eax │ │ │ │ lea -0x35ec93(%esi),%edx │ │ │ │ movl $0x1d3,-0x58(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea -0x38(%ebp),%eax │ │ │ │ - lea -0x35ec7f(%esi),%edx │ │ │ │ + lea -0x35ec84(%esi),%edx │ │ │ │ movl $0x1d4,-0x3c(%ebp) │ │ │ │ mov %eax,-0x3500(%ebp) │ │ │ │ call 1503b90 │ │ │ │ lea 0x7794(%esi),%eax │ │ │ │ sub $0x8,%esp │ │ │ │ mov %esi,%ebx │ │ │ │ movl $0x1d4,-0x20(%ebp) │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ jne ee29ac , 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 >::_M_insert_unique_node(unsigned int, unsigned int, std::__detail::_Hash_node*, unsigned int)@@Base+0x9ec2c> │ │ │ │ add $0x1,%eax │ │ │ │ and $0xf00000ff,%ecx │ │ │ │ sub $0xc,%esp │ │ │ │ mov %edx,-0x2c(%ebp) │ │ │ │ and $0xfffff,%eax │ │ │ │ shl $0x8,%eax │ │ │ │ -[ Too much input for diff (SHA256: b41e0c92683f1b6a49e410d474dd8d1dec2a9ff457374b008ccd8f0a6b9fd451) ] │ │ │ │ +[ Too much input for diff (SHA256: 618ccd7638626fbc0926536a45248d9c061da175c7001d6cb8c9a21e1364d718) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -22351,17 +22351,17 @@ │ │ │ │ 0x016bb4c0 74696d65 6f757400 74726163 65007472 timeout.trace.tr │ │ │ │ 0x016bb4d0 69676765 722d6163 74697665 2d73656c igger-active-sel │ │ │ │ 0x016bb4e0 00747269 67676572 2d73656c 0075662d .trigger-sel.uf- │ │ │ │ 0x016bb4f0 73730075 662d7373 2d61626f 72742d63 ss.uf-ss-abort-c │ │ │ │ 0x016bb500 61726400 756e6174 652d6c65 6d6d6173 ard.unate-lemmas │ │ │ │ 0x016bb510 00756e73 61742d63 6f726573 2d6d6f64 .unsat-cores-mod │ │ │ │ 0x016bb520 65007573 65722d70 61740075 7365722d e.user-pat.user- │ │ │ │ - 0x016bb530 706f6f6c 00766572 626f7365 00777269 pool.verbose.wri │ │ │ │ - 0x016bb540 74652d70 61727469 74696f6e 732d746f te-partitions-to │ │ │ │ - 0x016bb550 00706172 74697469 6f6e732d 6f757400 .partitions-out. │ │ │ │ + 0x016bb530 706f6f6c 00766572 626f7365 00706172 pool.verbose.par │ │ │ │ + 0x016bb540 74697469 6f6e732d 6f757400 77726974 titions-out.writ │ │ │ │ + 0x016bb550 652d7061 72746974 696f6e73 2d746f00 e-partitions-to. │ │ │ │ 0x016bb560 41726775 6d656e74 20270027 20666f72 Argument '.' for │ │ │ │ 0x016bb570 20626f6f 6c206f70 74696f6e 20002069 bool option . i │ │ │ │ 0x016bb580 73206e6f 74206120 626f6f6c 20636f6e s not a bool con │ │ │ │ 0x016bb590 7374616e 74002566 00272066 6f722000 stant.%f.' for . │ │ │ │ 0x016bb5a0 20697320 6e656761 74697665 00206469 is negative. di │ │ │ │ 0x016bb5b0 64207061 72736520 6f6e6c79 20706172 d parse only par │ │ │ │ 0x016bb5c0 7469616c 6c792061 7320002c 206c6561 tially as ., lea │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -928,15 +928,15 @@ │ │ │ │ 0x01a13990 8aa36b01 42176b01 d6be6b01 68a66b01 ..k.B.k...k.h.k. │ │ │ │ 0x01a139a0 42176b01 64a66b01 d6be6b01 42176b01 B.k.d.k...k.B.k. │ │ │ │ 0x01a139b0 1b146c01 8aa36b01 90a36b01 42176b01 ..l...k...k.B.k. │ │ │ │ 0x01a139c0 d6be6b01 42176b01 5ba66b01 8aa36b01 ..k.B.k.[.k...k. │ │ │ │ 0x01a139d0 50a66b01 c7db6b01 450d6b01 32a66b01 P.k...k.E.k.2.k. │ │ │ │ 0x01a139e0 41a66b01 42176b01 f68f6b01 ef8f6b01 A.k.B.k...k...k. │ │ │ │ 0x01a139f0 30a16b01 3f0a6b01 590a6b01 30a16b01 0.k.?.k.Y.k.0.k. │ │ │ │ - 0x01a13a00 8e466b01 5cb56b01 21c26b01 24a66b01 .Fk.\.k.!.k.$.k. │ │ │ │ + 0x01a13a00 8e466b01 48b56b01 21c26b01 24a66b01 .Fk.H.k.!.k.$.k. │ │ │ │ 0x01a13a10 16a66b01 f2a56b01 fca56b01 05a66b01 ..k...k...k...k. │ │ │ │ 0x01a13a20 d6a46b01 42176b01 e6a56b01 eda56b01 ..k.B.k...k...k. │ │ │ │ 0x01a13a30 5da36b01 6ca36b01 64a36b01 7ca36b01 ].k.l.k.d.k.|.k. │ │ │ │ 0x01a13a40 42176b01 e0a56b01 42176b01 a6c26b01 B.k...k.B.k...k. │ │ │ │ 0x01a13a50 d4a56b01 cfa56b01 b7136c01 f3ee6b01 ..k...k...l...k. │ │ │ │ 0x01a13a60 bca56b01 c2a56b01 caa96b01 62bf6b01 ..k...k...k.b.k. │ │ │ │ 0x01a13a70 42176b01 d6a46b01 c3a96b01 eca86b01 B.k...k...k...k. │ │ │ │ @@ -1037,18 +1037,18 @@ │ │ │ │ 0x01a14060 79c26b01 93c26b01 3db76b01 49b76b01 y.k...k.=.k.I.k. │ │ │ │ 0x01a14070 53b76b01 3fae6b01 4bae6b01 5fae6b01 S.k.?.k.K.k._.k. │ │ │ │ 0x01a14080 63b76b01 73b76b01 6bae6b01 86b76b01 c.k.s.k.k.k...k. │ │ │ │ 0x01a14090 99b76b01 aab76b01 bdb76b01 ceb76b01 ..k...k...k...k. │ │ │ │ 0x01a140a0 dfb76b01 f1b76b01 72ae6b01 06b86b01 ..k...k.r.k...k. │ │ │ │ 0x01a140b0 1bb86b01 2db86b01 4ab86b01 87ae6b01 ..k.-.k.J.k...k. │ │ │ │ 0x01a140c0 54b86b01 e4c76b01 8eae6b01 b0c26b01 T.k...k...k...k. │ │ │ │ - 0x01a140d0 5cb56b01 aaae6b01 b1ae6b01 8b3d6b01 \.k...k...k..=k. │ │ │ │ + 0x01a140d0 48b56b01 aaae6b01 b1ae6b01 8b3d6b01 H.k...k...k..=k. │ │ │ │ 0x01a140e0 64b96b01 bbc26b01 7aab6b01 bdae6b01 d.k...k.z.k...k. │ │ │ │ 0x01a140f0 cdae6b01 e5ae6b01 faae6b01 0daf6b01 ..k...k...k...k. │ │ │ │ - 0x01a14100 25af6b01 36af6b01 51b56b01 6cb86b01 %.k.6.k.Q.k.l.k. │ │ │ │ + 0x01a14100 25af6b01 36af6b01 3db56b01 6cb86b01 %.k.6.k.=.k.l.k. │ │ │ │ 0x01a14110 45af6b01 cfc26b01 55af6b01 64af6b01 E.k...k.U.k.d.k. │ │ │ │ 0x01a14120 7baf6b01 dcc26b01 8caf6b01 f7c26b01 {.k...k...k...k. │ │ │ │ 0x01a14130 72b96b01 99af6b01 fac76b01 a0bd6b01 r.k...k...k...k. │ │ │ │ 0x01a14140 aaaf6b01 0cc36b01 8dbc6b01 0ec86b01 ..k...k...k...k. │ │ │ │ 0x01a14150 21c86b01 4bc86b01 62c86b01 78c86b01 !.k.K.k.b.k.x.k. │ │ │ │ 0x01a14160 90c86b01 acc86b01 bec86b01 d0c86b01 ..k...k...k...k. │ │ │ │ 0x01a14170 edc86b01 b6bd6b01 d1bd6b01 b5af6b01 ..k...k...k...k. │ │ │ │ @@ -1098,15 +1098,15 @@ │ │ │ │ 0x01a14430 b3b46b01 2faf6b01 03e16a01 c8b46b01 ..k./.k...j...k. │ │ │ │ 0x01a14440 ceb46b01 e1b46b01 60bb6b01 96cb6b01 ..k...k.`.k...k. │ │ │ │ 0x01a14450 a3cb6b01 edb46b01 f3b46b01 b1cb6b01 ..k...k...k...k. │ │ │ │ 0x01a14460 bfcb6b01 04b56b01 8ac96b01 11b56b01 ..k...k...k...k. │ │ │ │ 0x01a14470 a8b86b01 b6b86b01 abbc6b01 c7b86b01 ..k...k...k...k. │ │ │ │ 0x01a14480 22b56b01 2bb56b01 21c66b01 33c66b01 ".k.+.k.!.k.3.k. │ │ │ │ 0x01a14490 35b56b01 96e06a01 3be06a01 71bb6b01 5.k...j.;.j.q.k. │ │ │ │ - 0x01a144a0 3db56b01 00000000 a49da101 f0305b01 =.k..........0[. │ │ │ │ + 0x01a144a0 4cb56b01 00000000 a49da101 f0305b01 L.k..........0[. │ │ │ │ 0x01a144b0 d0315b01 f02e5b01 20535b01 d02e5b01 .1[...[. S[...[. │ │ │ │ 0x01a144c0 d0325b01 00000000 bc9da101 a0335b01 .2[..........3[. │ │ │ │ 0x01a144d0 40395b01 002f5b01 702f5b01 60445b01 @9[../[.p/[.`D[. │ │ │ │ 0x01a144e0 90375b01 00000000 d49da101 30345b01 .7[.........04[. │ │ │ │ 0x01a144f0 e0395b01 102f5b01 c03f5b01 20425b01 .9[../[..?[. B[. │ │ │ │ 0x01a14500 c0365b01 00000000 ec9da101 c0345b01 .6[..........4[. │ │ │ │ 0x01a14510 803a5b01 103f5b01 40555b01 80405b01 .:[..?[.@U[..@[. │ │ │ ├── readelf --wide --decompress --hex-dump=.data {} │ │ │ │ @@ -155,15 +155,15 @@ │ │ │ │ 0x01a1c980 44046b01 01000000 00000000 70010000 D.k.........p... │ │ │ │ 0x01a1c990 b6e06a01 01000000 00000000 71010000 ..j.........q... │ │ │ │ 0x01a1c9a0 8e466b01 01000000 00000000 72010000 .Fk.........r... │ │ │ │ 0x01a1c9b0 55b96b01 00000000 00000000 73010000 U.k.........s... │ │ │ │ 0x01a1c9c0 52b96b01 00000000 00000000 74010000 R.k.........t... │ │ │ │ 0x01a1c9d0 b8ae6b01 01000000 00000000 75010000 ..k.........u... │ │ │ │ 0x01a1c9e0 7ead6b01 01000000 00000000 76010000 ~.k.........v... │ │ │ │ - 0x01a1c9f0 5cb56b01 01000000 00000000 77010000 \.k.........w... │ │ │ │ + 0x01a1c9f0 48b56b01 01000000 00000000 77010000 H.k.........w... │ │ │ │ 0x01a1ca00 d0e06a01 01000000 00000000 78010000 ..j.........x... │ │ │ │ 0x01a1ca10 aaae6b01 01000000 00000000 79010000 ..k.........y... │ │ │ │ 0x01a1ca20 64b96b01 00000000 00000000 7a010000 d.k.........z... │ │ │ │ 0x01a1ca30 61b96b01 00000000 00000000 7b010000 a.k.........{... │ │ │ │ 0x01a1ca40 72b96b01 00000000 00000000 7c010000 r.k.........|... │ │ │ │ 0x01a1ca50 6fb96b01 00000000 00000000 7d010000 o.k.........}... │ │ │ │ 0x01a1ca60 5b2b6b01 00000000 00000000 7e010000 [+k.........~... │ │ │ │ @@ -306,16 +306,16 @@ │ │ │ │ 0x01a1d2f0 faae6b01 01000000 00000000 07020000 ..k............. │ │ │ │ 0x01a1d300 7aab6b01 01000000 00000000 08020000 z.k............. │ │ │ │ 0x01a1d310 0daf6b01 01000000 00000000 09020000 ..k............. │ │ │ │ 0x01a1d320 25af6b01 01000000 00000000 0a020000 %.k............. │ │ │ │ 0x01a1d330 36af6b01 01000000 00000000 0b020000 6.k............. │ │ │ │ 0x01a1d340 bcbc6b01 00000000 00000000 0c020000 ..k............. │ │ │ │ 0x01a1d350 b9bc6b01 00000000 00000000 0d020000 ..k............. │ │ │ │ - 0x01a1d360 3db56b01 01000000 00000000 0e020000 =.k............. │ │ │ │ - 0x01a1d370 51b56b01 01000000 00000000 0f020000 Q.k............. │ │ │ │ + 0x01a1d360 4cb56b01 01000000 00000000 0e020000 L.k............. │ │ │ │ + 0x01a1d370 3db56b01 01000000 00000000 0f020000 =.k............. │ │ │ │ 0x01a1d380 d3bc6b01 00000000 00000000 10020000 ..k............. │ │ │ │ 0x01a1d390 d0bc6b01 00000000 00000000 11020000 ..k............. │ │ │ │ 0x01a1d3a0 d3ac6b01 01000000 00000000 12020000 ..k............. │ │ │ │ 0x01a1d3b0 e8bc6b01 00000000 00000000 13020000 ..k............. │ │ │ │ 0x01a1d3c0 e5bc6b01 00000000 00000000 14020000 ..k............. │ │ │ │ 0x01a1d3d0 febc6b01 00000000 00000000 15020000 ..k............. │ │ │ │ 0x01a1d3e0 fbbc6b01 00000000 00000000 16020000 ..k............. │ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {} │ │ │ │ @@ -1,7 +1,7 @@ │ │ │ │ │ │ │ │ Hex dump of section '.gnu_debuglink': │ │ │ │ - 0x00000000 65353731 64326364 66333739 65363964 e571d2cdf379e69d │ │ │ │ - 0x00000010 61633363 33346265 33626161 35356338 ac3c34be3baa55c8 │ │ │ │ - 0x00000020 62643361 65372e64 65627567 00000000 bd3ae7.debug.... │ │ │ │ - 0x00000030 6d6d7390 mms. │ │ │ │ + 0x00000000 36336461 63393635 36623061 65353431 63dac9656b0ae541 │ │ │ │ + 0x00000010 36303934 66343566 66383566 32646361 6094f45ff85f2dca │ │ │ │ + 0x00000020 31623434 33622e64 65627567 00000000 1b443b.debug.... │ │ │ │ + 0x00000030 9fa9b22d ...-