--- /srv/rebuilderd/tmp/rebuilderdMWiJog/inputs/libcvc5-1_1.3.2-1+b1_i386.deb +++ /srv/rebuilderd/tmp/rebuilderdMWiJog/out/libcvc5-1_1.3.2-1+b1_i386.deb ├── file list │ @@ -1,3 +1,3 @@ │ -rw-r--r-- 0 0 0 4 2026-04-23 15:47:02.000000 debian-binary │ -rw-r--r-- 0 0 0 1304 2026-04-23 15:47:02.000000 control.tar.xz │ --rw-r--r-- 0 0 0 8380772 2026-04-23 15:47:02.000000 data.tar.xz │ +-rw-r--r-- 0 0 0 8376888 2026-04-23 15:47:02.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: ec3d7397071e7d1eae8e5766763327d944a27243 │ │ │ │ + GNU 0x00000014 NT_GNU_BUILD_ID (unique build ID bitstring) Build ID: 059f35a4617d8e4612080a456279319c4475d28a │ │ │ ├── strings --all --bytes=8 {} │ │ │ │┄ Ordering differences only │ │ │ │ @@ -11955,16 +11955,16 @@ │ │ │ │ proof-check │ │ │ │ proof-format-mode │ │ │ │ proof-pedantic │ │ │ │ proof-pre-simp-lookahead │ │ │ │ proof-rewrite-rcons-rec-limit │ │ │ │ prop-row-length │ │ │ │ quant-rep-mode │ │ │ │ -random-frequency │ │ │ │ random-freq │ │ │ │ +random-frequency │ │ │ │ re-inter-mode │ │ │ │ replay-early-close-depth │ │ │ │ replay-lemma-reject-cut │ │ │ │ replay-num-err-penalty │ │ │ │ replay-reject-cut │ │ │ │ restart-int-base │ │ │ │ restart-int-inc │ │ │ │ @@ -12014,16 +12014,16 @@ │ │ │ │ timeout-core-timeout │ │ │ │ trigger-active-sel │ │ │ │ trigger-sel │ │ │ │ uf-ss-abort-card │ │ │ │ unate-lemmas │ │ │ │ user-pat │ │ │ │ user-pool │ │ │ │ -write-partitions-to │ │ │ │ partitions-out │ │ │ │ +write-partitions-to │ │ │ │ [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 {} │ │ │ │ @@ -917401,19 +917401,19 @@ │ │ │ │ movl $0x55,-0x305c(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x303c(%ebp),%eax │ │ │ │ lea -0x3c89c4(%esi),%edx │ │ │ │ movl $0x56,-0x3040(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x3020(%ebp),%eax │ │ │ │ - lea -0x3ca637(%esi),%edx │ │ │ │ + lea -0x3c309b(%esi),%edx │ │ │ │ movl $0x57,-0x3024(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x3004(%ebp),%eax │ │ │ │ - lea -0x3c309b(%esi),%edx │ │ │ │ + lea -0x3ca637(%esi),%edx │ │ │ │ movl $0x58,-0x3008(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x2fe8(%ebp),%eax │ │ │ │ lea -0x3d1f82(%esi),%edx │ │ │ │ movl $0x58,-0x2fec(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x2fcc(%ebp),%eax │ │ │ │ @@ -918069,27 +918069,27 @@ │ │ │ │ movl $0xf9,-0x1e18(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1df8(%ebp),%eax │ │ │ │ lea -0x3d5fe9(%esi),%edx │ │ │ │ movl $0xfa,-0x1dfc(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1ddc(%ebp),%eax │ │ │ │ - lea -0x3c9d54(%esi),%edx │ │ │ │ + lea -0x3c9d68(%esi),%edx │ │ │ │ movl $0xfb,-0x1de0(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1dc0(%ebp),%eax │ │ │ │ lea -0x3ca382(%esi),%edx │ │ │ │ movl $0xfb,-0x1dc4(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1da4(%ebp),%eax │ │ │ │ - lea -0x3d1974(%esi),%edx │ │ │ │ + lea -0x3ca37b(%esi),%edx │ │ │ │ movl $0xfc,-0x1da8(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1d88(%ebp),%eax │ │ │ │ - lea -0x3ca37b(%esi),%edx │ │ │ │ + lea -0x3d1974(%esi),%edx │ │ │ │ movl $0xfd,-0x1d8c(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1d6c(%ebp),%eax │ │ │ │ lea -0x3c9997(%esi),%edx │ │ │ │ movl $0xfd,-0x1d70(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1d50(%ebp),%eax │ │ │ │ @@ -918101,35 +918101,35 @@ │ │ │ │ movl $0xff,-0x1d38(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1d18(%ebp),%eax │ │ │ │ lea -0x3c8eb7(%esi),%edx │ │ │ │ movl $0x100,-0x1d1c(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1cfc(%ebp),%eax │ │ │ │ - lea -0x3ca362(%esi),%edx │ │ │ │ + lea -0x3d3a25(%esi),%edx │ │ │ │ movl $0x101,-0x1d00(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1ce0(%ebp),%eax │ │ │ │ - lea -0x3d3a25(%esi),%edx │ │ │ │ + lea -0x3ca362(%esi),%edx │ │ │ │ movl $0x102,-0x1ce4(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1cc4(%ebp),%eax │ │ │ │ lea -0x3ca352(%esi),%edx │ │ │ │ movl $0x102,-0x1cc8(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1ca8(%ebp),%eax │ │ │ │ lea -0x3ca33a(%esi),%edx │ │ │ │ movl $0x103,-0x1cac(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1c8c(%ebp),%eax │ │ │ │ - lea -0x3ca325(%esi),%edx │ │ │ │ + lea -0x3ca6f2(%esi),%edx │ │ │ │ movl $0x104,-0x1c90(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1c70(%ebp),%eax │ │ │ │ - lea -0x3ca6f2(%esi),%edx │ │ │ │ + lea -0x3ca325(%esi),%edx │ │ │ │ movl $0x105,-0x1c74(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1c54(%ebp),%eax │ │ │ │ lea -0x3ca312(%esi),%edx │ │ │ │ movl $0x105,-0x1c58(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1c38(%ebp),%eax │ │ │ │ @@ -918385,15 +918385,15 @@ │ │ │ │ movl $0x143,-0x1574(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1554(%ebp),%eax │ │ │ │ lea -0x3ca1f9(%esi),%edx │ │ │ │ movl $0x144,-0x1558(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1538(%ebp),%eax │ │ │ │ - lea -0x3ca1e8(%esi),%edx │ │ │ │ + lea -0x3ca1ed(%esi),%edx │ │ │ │ movl $0x145,-0x153c(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x151c(%ebp),%eax │ │ │ │ lea -0x3c9600(%esi),%edx │ │ │ │ movl $0x145,-0x1520(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1500(%ebp),%eax │ │ │ │ @@ -918565,19 +918565,19 @@ │ │ │ │ movl $0x16d,-0x1088(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1068(%ebp),%eax │ │ │ │ lea -0x3ca0d5(%esi),%edx │ │ │ │ movl $0x16e,-0x106c(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x104c(%ebp),%eax │ │ │ │ - lea -0x3d220d(%esi),%edx │ │ │ │ + lea -0x3ca0c0(%esi),%edx │ │ │ │ movl $0x16f,-0x1050(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1030(%ebp),%eax │ │ │ │ - lea -0x3ca0c0(%esi),%edx │ │ │ │ + lea -0x3d220d(%esi),%edx │ │ │ │ movl $0x170,-0x1034(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x1014(%ebp),%eax │ │ │ │ lea -0x3c87da(%esi),%edx │ │ │ │ movl $0x170,-0x1018(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0xff8(%ebp),%eax │ │ │ │ @@ -919153,15 +919153,15 @@ │ │ │ │ movl $0x1ff,-0x74(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x54(%ebp),%eax │ │ │ │ lea -0x3c9d73(%esi),%edx │ │ │ │ movl $0x200,-0x58(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea -0x38(%ebp),%eax │ │ │ │ - lea -0x3c9d5f(%esi),%edx │ │ │ │ + lea -0x3c9d64(%esi),%edx │ │ │ │ movl $0x201,-0x3c(%ebp) │ │ │ │ mov %eax,-0x3a00(%ebp) │ │ │ │ call 17fd080 │ │ │ │ lea 0x8518(%esi),%eax │ │ │ │ sub $0x8,%esp │ │ │ │ mov %esi,%ebx │ │ │ │ movl $0x201,-0x20(%ebp) │ │ │ │ @@ -4194296,8 +4194296,8 @@ │ │ │ │ mov %ecx,(%eax) │ │ │ │ mov %edx,%eax │ │ │ │ shr $0x8,%eax │ │ │ │ and $0xfffff,%eax │ │ │ │ cmp $0xffffd,%eax │ │ │ │ ja f263b4 >::_M_realloc_append(int const&)@@Base+0x73af4> │ │ │ │ add $0x1,%eax │ │ │ │ -[ Too much input for diff (SHA256: df966885ed5a3a33ea269962127afb25b1a9370f355ac73ccdef6e3652a0d85d) ] │ │ │ │ +[ Too much input for diff (SHA256: 93e6e10be746e160bd8ce40dcf291fbc3a2faa250cea0914f8420abfd1212fb2) ] │ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {} │ │ │ │ @@ -24434,16 +24434,16 @@ │ │ │ │ 0x01b046f0 726d6174 2d6d6f64 65007072 6f6f662d rmat-mode.proof- │ │ │ │ 0x01b04700 70656461 6e746963 0070726f 6f662d70 pedantic.proof-p │ │ │ │ 0x01b04710 72652d73 696d702d 6c6f6f6b 61686561 re-simp-lookahea │ │ │ │ 0x01b04720 64007072 6f6f662d 72657772 6974652d d.proof-rewrite- │ │ │ │ 0x01b04730 72636f6e 732d7265 632d6c69 6d697400 rcons-rec-limit. │ │ │ │ 0x01b04740 70726f70 2d726f77 2d6c656e 67746800 prop-row-length. │ │ │ │ 0x01b04750 7175616e 742d7265 702d6d6f 64650072 quant-rep-mode.r │ │ │ │ - 0x01b04760 616e646f 6d2d6672 65717565 6e637900 andom-frequency. │ │ │ │ - 0x01b04770 72616e64 6f6d2d66 72657100 72652d65 random-freq.re-e │ │ │ │ + 0x01b04760 616e646f 6d2d6672 65710072 616e646f andom-freq.rando │ │ │ │ + 0x01b04770 6d2d6672 65717565 6e637900 72652d65 m-frequency.re-e │ │ │ │ 0x01b04780 6c696d00 72652d69 6e746572 2d6d6f64 lim.re-inter-mod │ │ │ │ 0x01b04790 65007265 706c6179 2d656172 6c792d63 e.replay-early-c │ │ │ │ 0x01b047a0 6c6f7365 2d646570 74680072 65706c61 lose-depth.repla │ │ │ │ 0x01b047b0 792d6c65 6d6d612d 72656a65 63742d63 y-lemma-reject-c │ │ │ │ 0x01b047c0 75740072 65706c61 792d6e75 6d2d6572 ut.replay-num-er │ │ │ │ 0x01b047d0 722d7065 6e616c74 79007265 706c6179 r-penalty.replay │ │ │ │ 0x01b047e0 2d72656a 6563742d 63757400 72657374 -reject-cut.rest │ │ │ │ @@ -24506,17 +24506,17 @@ │ │ │ │ 0x01b04b70 65007469 6d656f75 742d636f 72652d74 e.timeout-core-t │ │ │ │ 0x01b04b80 696d656f 75740074 72696767 65722d61 imeout.trigger-a │ │ │ │ 0x01b04b90 63746976 652d7365 6c007472 69676765 ctive-sel.trigge │ │ │ │ 0x01b04ba0 722d7365 6c007566 2d737300 75662d73 r-sel.uf-ss.uf-s │ │ │ │ 0x01b04bb0 732d6162 6f72742d 63617264 00756e61 s-abort-card.una │ │ │ │ 0x01b04bc0 74652d6c 656d6d61 73007573 65722d70 te-lemmas.user-p │ │ │ │ 0x01b04bd0 61740075 7365722d 706f6f6c 00766572 at.user-pool.ver │ │ │ │ - 0x01b04be0 626f7365 00777269 74652d70 61727469 bose.write-parti │ │ │ │ - 0x01b04bf0 74696f6e 732d746f 00706172 74697469 tions-to.partiti │ │ │ │ - 0x01b04c00 6f6e732d 6f757400 75736167 653a2000 ons-out.usage: . │ │ │ │ + 0x01b04be0 626f7365 00706172 74697469 6f6e732d bose.partitions- │ │ │ │ + 0x01b04bf0 6f757400 77726974 652d7061 72746974 out.write-partit │ │ │ │ + 0x01b04c00 696f6e73 2d746f00 75736167 653a2000 ions-to.usage: . │ │ │ │ 0x01b04c10 205b6f70 74696f6e 735d205b 696e7075 [options] [inpu │ │ │ │ 0x01b04c20 742d6669 6c655d00 63766335 206f7074 t-file].cvc5 opt │ │ │ │ 0x01b04c30 696f6e73 3a002b3a 694c3a6f 3a71743a ions:.+:iL:o:qt: │ │ │ │ 0x01b04c40 76684873 3a566d00 63616e27 7420756e vhHs:Vm.can't un │ │ │ │ 0x01b04c50 64657273 74616e64 206f7074 696f6e20 derstand option │ │ │ │ 0x01b04c60 6000436f 6d6d6f6e 206f7074 696f6e73 `.Common options │ │ │ │ 0x01b04c70 3a005265 67756c61 72206f70 74696f6e :.Regular option │ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {} │ │ │ │ @@ -982,15 +982,15 @@ │ │ │ │ 0x01ec7110 9e39b001 6daab001 5856b001 bc3cb001 .9..m...XV...<.. │ │ │ │ 0x01ec7120 6daab001 6a3cb001 5856b001 6daab001 m...j<..XV..m... │ │ │ │ 0x01ec7130 b7f3b001 9e39b001 a439b001 6daab001 .....9...9..m... │ │ │ │ 0x01ec7140 5856b001 6daab001 b33cb001 9e39b001 XV..m....<...9.. │ │ │ │ 0x01ec7150 a83cb001 47bab001 6999af01 8a3cb001 .<..G...i....<.. │ │ │ │ 0x01ec7160 993cb001 6daab001 e725b001 28aab001 .<..m....%..(... │ │ │ │ 0x01ec7170 27c0b001 6d92af01 8792af01 27c0b001 '...m.......'... │ │ │ │ - 0x01ec7180 55d9af01 044cb001 da59b001 7c3cb001 U....L...Y..|<.. │ │ │ │ + 0x01ec7180 55d9af01 f04bb001 da59b001 7c3cb001 U....K...Y..|<.. │ │ │ │ 0x01ec7190 6e3cb001 22c0af01 b9b3b001 6a3cb001 n<..".......j<.. │ │ │ │ 0x01ec71a0 463cb001 503cb001 593cb001 0f3bb001 F<..P<..Y<...;.. │ │ │ │ 0x01ec71b0 6daab001 3a3cb001 413cb001 7139b001 m...:<..A<..q9.. │ │ │ │ 0x01ec71c0 8039b001 7839b001 9039b001 6daab001 .9..x9...9..m... │ │ │ │ 0x01ec71d0 810fb001 6daab001 8c5ab001 2e3cb001 ....m....Z...<.. │ │ │ │ 0x01ec71e0 ecc6af01 53f3b001 22cdb001 1b3cb001 ....S..."....<.. │ │ │ │ 0x01ec71f0 213cb001 2940b001 cd56b001 6daab001 !<..)@...V..m... │ │ │ │ @@ -1102,34 +1102,34 @@ │ │ │ │ 0x01ec7890 795ab001 7c4db001 884db001 924db001 yZ..|M...M...M.. │ │ │ │ 0x01ec78a0 7945b001 8545b001 9945b001 a24db001 yE...E...E...M.. │ │ │ │ 0x01ec78b0 b24db001 e6ccaf01 c54db001 d84db001 .M.......M...M.. │ │ │ │ 0x01ec78c0 e94db001 ff4db001 124eb001 234eb001 .M...M...N..#N.. │ │ │ │ 0x01ec78d0 344eb001 464eb001 a545b001 5b4eb001 4N..FN...E..[N.. │ │ │ │ 0x01ec78e0 704eb001 824eb001 9f4eb001 bdc6af01 pN...N...N...... │ │ │ │ 0x01ec78f0 a94eb001 2860b001 ba45b001 965ab001 .N..(`...E...Z.. │ │ │ │ - 0x01ec7900 044cb001 d645b001 dd45b001 e4cfaf01 .L...E...E...... │ │ │ │ + 0x01ec7900 f04bb001 d645b001 dd45b001 e4cfaf01 .K...E...E...... │ │ │ │ 0x01ec7910 c14fb001 c253b001 e945b001 a15ab001 .O...S...E...Z.. │ │ │ │ 0x01ec7920 6642b001 f645b001 0646b001 1e46b001 fB...E...F...F.. │ │ │ │ 0x01ec7930 3346b001 4646b001 5e46b001 6f46b001 3F..FF..^F..oF.. │ │ │ │ - 0x01ec7940 f94bb001 c14eb001 f6cbaf01 547ead01 .K...N......T~.. │ │ │ │ + 0x01ec7940 e54bb001 c14eb001 f6cbaf01 547ead01 .K...N......T~.. │ │ │ │ 0x01ec7950 cf4fb001 b55ab001 1453b001 7e46b001 .O...Z...S..~F.. │ │ │ │ 0x01ec7960 8d46b001 26c8af01 c25ab001 18caaf01 .F..&....Z...... │ │ │ │ 0x01ec7970 dd5ab001 e74fb001 a446b001 2e54b001 .Z...O...F...T.. │ │ │ │ 0x01ec7980 3e60b001 cc54b001 b546b001 f25ab001 >`...T...F...Z.. │ │ │ │ 0x01ec7990 4754b001 2953b001 5260b001 6560b001 GT..)S..R`..e`.. │ │ │ │ 0x01ec79a0 8f60b001 a660b001 bc60b001 d460b001 .`...`...`...`.. │ │ │ │ 0x01ec79b0 f060b001 0261b001 1461b001 3161b001 .`...a...a..1a.. │ │ │ │ 0x01ec79c0 c046b001 e254b001 fd54b001 1255b001 .F...T...T...U.. │ │ │ │ 0x01ec79d0 dc46b001 2755b001 3b55b001 4c55b001 .F..'U..;U..LU.. │ │ │ │ 0x01ec79e0 e846b001 30c9af01 6355b001 b8c9af01 .F..0...cU...... │ │ │ │ 0x01ec79f0 fa46b001 7055b001 0947b001 8255b001 .F..pU...G...U.. │ │ │ │ 0x01ec7a00 9c55b001 b555b001 2247b001 787ead01 .U...U.."G..x~.. │ │ │ │ 0x01ec7a10 b3c9af01 4047b001 055bb001 185bb001 ....@G...[...[.. │ │ │ │ 0x01ec7a20 74caaf01 2d5bb001 3d5bb001 5047b001 t...-[..=[..PG.. │ │ │ │ - 0x01ec7a30 bdbeaf01 7047b001 5f47b001 5853b001 ....pG.._G..XS.. │ │ │ │ + 0x01ec7a30 bdbeaf01 5f47b001 6b47b001 5853b001 ...._G..kG..XS.. │ │ │ │ 0x01ec7a40 5148b001 7c47b001 e461b001 8447b001 QH..|G...a...G.. │ │ │ │ 0x01ec7a50 4a5bb001 6f89af01 675bb001 ce63b001 J[..o...g[...c.. │ │ │ │ 0x01ec7a60 7e5bb001 985eb001 4861b001 9247b001 ~[...^..Ha...G.. │ │ │ │ 0x01ec7a70 ab47b001 c347b001 da47b001 8689af01 .G...G...G...... │ │ │ │ 0x01ec7a80 ec47b001 fd47b001 d04eb001 0d48b001 .G...G...N...H.. │ │ │ │ 0x01ec7a90 2a48b001 3148b001 3c48b001 4548b001 *H..1H..