--- /srv/rebuilderd/tmp/rebuilderdWqWIeP/inputs/libcvc5-1_1.1.2-2+b3_i386.deb
+++ /srv/rebuilderd/tmp/rebuilderdWqWIeP/out/libcvc5-1_1.1.2-2+b3_i386.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2025-01-09 10:50:02.000000 debian-binary
│  -rw-r--r--   0        0        0     1304 2025-01-09 10:50:02.000000 control.tar.xz
│ --rw-r--r--   0        0        0  7249708 2025-01-09 10:50:02.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  7250488 2025-01-09 10:50: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: f2c653b14e4fbafa321eacd55c28a206382f9cd3
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: c35860a04904adeb974d01c93bdcba38a865b3b8
│ │ │ ├── strings --all --bytes=8 {}
│ │ │ │┄ Ordering differences only
│ │ │ │ @@ -10473,16 +10473,16 @@
│ │ │ │  proof-granularity
│ │ │ │  proof-mode
│ │ │ │  proof-pedantic
│ │ │ │  proof-rewrite-rcons-rec-limit
│ │ │ │  prop-row-length
│ │ │ │  quant-dsplit
│ │ │ │  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
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -758155,19 +758155,19 @@
│ │ │ │  	movl   $0x52,-0x2ba8(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2b88(%ebp),%eax
│ │ │ │  	lea    -0x35ea80(%esi),%edx
│ │ │ │  	movl   $0x53,-0x2b8c(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2b6c(%ebp),%eax
│ │ │ │ -	lea    -0x3605ac(%esi),%edx
│ │ │ │ +	lea    -0x35d7a5(%esi),%edx
│ │ │ │  	movl   $0x54,-0x2b70(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2b50(%ebp),%eax
│ │ │ │ -	lea    -0x35d7a5(%esi),%edx
│ │ │ │ +	lea    -0x3605ac(%esi),%edx
│ │ │ │  	movl   $0x55,-0x2b54(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2b34(%ebp),%eax
│ │ │ │  	lea    -0x360f72(%esi),%edx
│ │ │ │  	movl   $0x55,-0x2b38(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2b18(%ebp),%eax
│ │ │ │ @@ -758299,19 +758299,19 @@
│ │ │ │  	movl   $0x75,-0x27b8(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2798(%ebp),%eax
│ │ │ │  	lea    -0x35f10a(%esi),%edx
│ │ │ │  	movl   $0x76,-0x279c(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x277c(%ebp),%eax
│ │ │ │ -	lea    -0x36d11a(%esi),%edx
│ │ │ │ +	lea    -0x36ad8c(%esi),%edx
│ │ │ │  	movl   $0x77,-0x2780(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2760(%ebp),%eax
│ │ │ │ -	lea    -0x36ad8c(%esi),%edx
│ │ │ │ +	lea    -0x36d11a(%esi),%edx
│ │ │ │  	movl   $0x78,-0x2764(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2744(%ebp),%eax
│ │ │ │  	lea    -0x360558(%esi),%edx
│ │ │ │  	movl   $0x78,-0x2748(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2728(%ebp),%eax
│ │ │ │ @@ -758531,19 +758531,19 @@
│ │ │ │  	movl   $0xae,-0x2160(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2140(%ebp),%eax
│ │ │ │  	lea    -0x360460(%esi),%edx
│ │ │ │  	movl   $0xaf,-0x2144(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2124(%ebp),%eax
│ │ │ │ -	lea    -0x360452(%esi),%edx
│ │ │ │ +	lea    -0x360318(%esi),%edx
│ │ │ │  	movl   $0xb0,-0x2128(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x2108(%ebp),%eax
│ │ │ │ -	lea    -0x360318(%esi),%edx
│ │ │ │ +	lea    -0x360452(%esi),%edx
│ │ │ │  	movl   $0xb1,-0x210c(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x20ec(%ebp),%eax
│ │ │ │  	lea    -0x35ea2f(%esi),%edx
│ │ │ │  	movl   $0xb1,-0x20f0(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x20d0(%ebp),%eax
│ │ │ │ @@ -758779,35 +758779,35 @@
│ │ │ │  	movl   $0xe9,-0x1a98(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1a78(%ebp),%eax
│ │ │ │  	lea    -0x35ef15(%esi),%edx
│ │ │ │  	movl   $0xea,-0x1a7c(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1a5c(%ebp),%eax
│ │ │ │ -	lea    -0x360313(%esi),%edx
│ │ │ │ +	lea    -0x3690cf(%esi),%edx
│ │ │ │  	movl   $0xeb,-0x1a60(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1a40(%ebp),%eax
│ │ │ │ -	lea    -0x3690cf(%esi),%edx
│ │ │ │ +	lea    -0x360313(%esi),%edx
│ │ │ │  	movl   $0xec,-0x1a44(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1a24(%ebp),%eax
│ │ │ │  	lea    -0x360303(%esi),%edx
│ │ │ │  	movl   $0xec,-0x1a28(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1a08(%ebp),%eax
│ │ │ │  	lea    -0x3602eb(%esi),%edx
│ │ │ │  	movl   $0xed,-0x1a0c(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x19ec(%ebp),%eax
│ │ │ │ -	lea    -0x3602d6(%esi),%edx
│ │ │ │ +	lea    -0x360656(%esi),%edx
│ │ │ │  	movl   $0xee,-0x19f0(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x19d0(%ebp),%eax
│ │ │ │ -	lea    -0x360656(%esi),%edx
│ │ │ │ +	lea    -0x3602d6(%esi),%edx
│ │ │ │  	movl   $0xef,-0x19d4(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x19b4(%ebp),%eax
│ │ │ │  	lea    -0x3602c3(%esi),%edx
│ │ │ │  	movl   $0xef,-0x19b8(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1998(%ebp),%eax
│ │ │ │ @@ -759019,15 +759019,15 @@
│ │ │ │  	movl   $0x122,-0x1408(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x13e8(%ebp),%eax
│ │ │ │  	lea    -0x360187(%esi),%edx
│ │ │ │  	movl   $0x123,-0x13ec(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x13cc(%ebp),%eax
│ │ │ │ -	lea    -0x360176(%esi),%edx
│ │ │ │ +	lea    -0x36017b(%esi),%edx
│ │ │ │  	movl   $0x124,-0x13d0(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x13b0(%ebp),%eax
│ │ │ │  	lea    -0x35f514(%esi),%edx
│ │ │ │  	movl   $0x124,-0x13b4(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1394(%ebp),%eax
│ │ │ │ @@ -759091,19 +759091,19 @@
│ │ │ │  	movl   $0x133,-0x1210(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x11f0(%ebp),%eax
│ │ │ │  	lea    -0x3600bc(%esi),%edx
│ │ │ │  	movl   $0x134,-0x11f4(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x11d4(%ebp),%eax
│ │ │ │ -	lea    -0x36d0e9(%esi),%edx
│ │ │ │ +	lea    -0x3600b5(%esi),%edx
│ │ │ │  	movl   $0x135,-0x11d8(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x11b8(%ebp),%eax
│ │ │ │ -	lea    -0x3600b5(%esi),%edx
│ │ │ │ +	lea    -0x36d0e9(%esi),%edx
│ │ │ │  	movl   $0x136,-0x11bc(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x119c(%ebp),%eax
│ │ │ │  	lea    -0x3600aa(%esi),%edx
│ │ │ │  	movl   $0x136,-0x11a0(%ebp)
│ │ │ │  	call   15027d0 <cvc5::internal::Options::Options()@@Base+0x14d0>
│ │ │ │  	lea    -0x1180(%ebp),%eax
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	je     ee4f60 <std::_Hashtable<int, int, std::allocator<int>, std::__detail::_Identity, std::equal_to<int>, std::hash<int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::_M_insert_unique_node(unsigned int, unsigned int, std::__detail::_Hash_node<int, false>*, unsigned int)@@Base+0xa0aa0>
│ │ │ │  	xchg   %ax,%ax
│ │ │ │  	mov    (%esi),%edx
│ │ │ │  	mov    0x4(%edx),%eax
│ │ │ │  	mov    %eax,%ecx
│ │ │ │  	not    %ecx
│ │ │ │  	and    $0xfffff00,%ecx
│ │ │ │ -[ Too much input for diff (SHA256: d4002cd374017878aff2f689a34dc7e796aa90d61e644490c1009cd353b7a7da) ]
│ │ │ │ +[ Too much input for diff (SHA256: 8474ed45543c5aa8bfb22b3d8c43603f320602b019f0be834f1e484ddc7851e1) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {}
│ │ │ │ @@ -22273,16 +22273,16 @@
│ │ │ │    0x016b9fe0 72697479 0070726f 6f662d6d 6f646500 rity.proof-mode.
│ │ │ │    0x016b9ff0 70726f6f 662d7065 64616e74 69630070 proof-pedantic.p
│ │ │ │    0x016ba000 726f6f66 2d726577 72697465 2d72636f roof-rewrite-rco
│ │ │ │    0x016ba010 6e732d72 65632d6c 696d6974 0070726f ns-rec-limit.pro
│ │ │ │    0x016ba020 702d726f 772d6c65 6e677468 00717561 p-row-length.qua
│ │ │ │    0x016ba030 6e742d64 73706c69 74007175 616e742d nt-dsplit.quant-
│ │ │ │    0x016ba040 7265702d 6d6f6465 0072616e 646f6d2d rep-mode.random-
│ │ │ │ -  0x016ba050 66726571 75656e63 79007261 6e646f6d frequency.random
│ │ │ │ -  0x016ba060 2d667265 71007265 2d656c69 6d007265 -freq.re-elim.re
│ │ │ │ +  0x016ba050 66726571 0072616e 646f6d2d 66726571 freq.random-freq
│ │ │ │ +  0x016ba060 75656e63 79007265 2d656c69 6d007265 uency.re-elim.re
│ │ │ │    0x016ba070 2d696e74 65722d6d 6f646500 7265706c -inter-mode.repl
│ │ │ │    0x016ba080 61792d65 61726c79 2d636c6f 73652d64 ay-early-close-d
│ │ │ │    0x016ba090 65707468 00726570 6c61792d 6c656d6d epth.replay-lemm
│ │ │ │    0x016ba0a0 612d7265 6a656374 2d637574 00726570 a-reject-cut.rep
│ │ │ │    0x016ba0b0 6c61792d 6e756d2d 6572722d 70656e61 lay-num-err-pena
│ │ │ │    0x016ba0c0 6c747900 7265706c 61792d72 656a6563 lty.replay-rejec
│ │ │ │    0x016ba0d0 742d6375 74007265 73746172 742d696e t-cut.restart-in
│ │ │ ├── readelf --wide --decompress --hex-dump=.data.rel.ro {}
│ │ │ │ @@ -1053,15 +1053,15 @@
│ │ │ │    0x01a14160 90b86b01 acb86b01 beb86b01 d0b86b01 ..k...k...k...k.
│ │ │ │    0x01a14170 edb86b01 b6ad6b01 d1ad6b01 b59f6b01 ..k...k...k...k.
│ │ │ │    0x01a14180 e3ad6b01 f7ad6b01 08ae6b01 c19f6b01 ..k...k...k...k.
│ │ │ │    0x01a14190 d39f6b01 e59f6b01 f09f6b01 1fae6b01 ..k...k...k...k.
│ │ │ │    0x01a141a0 31ae6b01 4bae6b01 ff9f6b01 0c006901 1.k.K.k...k...i.
│ │ │ │    0x01a141b0 1da06b01 1fb36b01 32b36b01 2da06b01 ..k...k.2.k.-.k.
│ │ │ │    0x01a141c0 47b36b01 57b36b01 3aa06b01 5b1b6b01 G.k.W.k.:.k.[.k.
│ │ │ │ -  0x01a141d0 5aa06b01 49a06b01 bcac6b01 66a06b01 Z.k.I.k...k.f.k.
│ │ │ │ +  0x01a141d0 49a06b01 55a06b01 bcac6b01 66a06b01 I.k.U.k...k.f.k.
│ │ │ │    0x01a141e0 6ea06b01 64b36b01 d0d06a01 81b36b01 n.k.d.k...j...k.
│ │ │ │    0x01a141f0 57bb6b01 98b36b01 04b96b01 7ca06b01 W.k...k...k.|.k.
│ │ │ │    0x01a14200 95a06b01 ada06b01 c4a06b01 e7d06a01 ..k...k...k...j.
│ │ │ │    0x01a14210 d6a06b01 e7a06b01 7ba86b01 f7a06b01 ..k...k.{.k...k.
│ │ │ │    0x01a14220 14a16b01 1ba16b01 26a16b01 2fa16b01 ..k...k.&.k./.k.
│ │ │ │    0x01a14230 85a96b01 37a16b01 189b6b01 8ea86b01 ..k.7.k...k...k.
│ │ │ │    0x01a14240 49de6b01 9eac6b01 15ad6b01 4ab66b01 I.k...k...k.J.k.
│ │ │ ├── readelf --wide --decompress --hex-dump=.data {}
│ │ │ │ @@ -366,16 +366,16 @@
│ │ │ │    0x01a1d6b0 48ae6b01 00000000 00000000 43020000 H.k.........C...
│ │ │ │    0x01a1d6c0 ff9f6b01 01000000 00000000 44020000 ..k.........D...
│ │ │ │    0x01a1d6d0 0c006901 01000000 00000000 45020000 ..i.........E...
│ │ │ │    0x01a1d6e0 60ae6b01 00000000 00000000 46020000 `.k.........F...
│ │ │ │    0x01a1d6f0 5dae6b01 00000000 00000000 47020000 ].k.........G...
│ │ │ │    0x01a1d700 d1216b01 01000000 00000000 48020000 .!k.........H...
│ │ │ │    0x01a1d710 999f6b01 01000000 00000000 49020000 ..k.........I...
│ │ │ │ -  0x01a1d720 5aa06b01 01000000 00000000 4a020000 Z.k.........J...
│ │ │ │ -  0x01a1d730 49a06b01 01000000 00000000 4b020000 I.k.........K...
│ │ │ │ +  0x01a1d720 49a06b01 01000000 00000000 4a020000 I.k.........J...
│ │ │ │ +  0x01a1d730 55a06b01 01000000 00000000 4b020000 U.k.........K...
│ │ │ │    0x01a1d740 d6a06b01 01000000 00000000 4c020000 ..k.........L...
│ │ │ │    0x01a1d750 e7a06b01 01000000 00000000 4d020000 ..k.........M...
│ │ │ │    0x01a1d760 37a16b01 01000000 00000000 4e020000 7.k.........N...
│ │ │ │    0x01a1d770 189b6b01 01000000 00000000 4f020000 ..k.........O...
│ │ │ │    0x01a1d780 b1b36b01 00000000 00000000 50020000 ..k.........P...
│ │ │ │    0x01a1d790 74ae6b01 00000000 00000000 51020000 t.k.........Q...
│ │ │ │    0x01a1d7a0 7fae6b01 00000000 00000000 52020000 ..k.........R...
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 63363533 62313465 34666261 66613332 c653b14e4fbafa32
│ │ │ │ -  0x00000010 31656163 64353563 32386132 30363338 1eacd55c28a20638
│ │ │ │ -  0x00000020 32663963 64332e64 65627567 00000000 2f9cd3.debug....
│ │ │ │ -  0x00000030 15437e65                            .C~e
│ │ │ │ +  0x00000000 35383630 61303439 30346164 65623937 5860a04904adeb97
│ │ │ │ +  0x00000010 34643031 63393362 64636261 33386138 4d01c93bdcba38a8
│ │ │ │ +  0x00000020 36356233 62382e64 65627567 00000000 65b3b8.debug....
│ │ │ │ +  0x00000030 388508cd                            8...