--- /srv/rebuilderd/tmp/rebuilderdr85h0K/inputs/libcvc5-1_1.3.2-1+b2_i386.deb
+++ /srv/rebuilderd/tmp/rebuilderdr85h0K/out/libcvc5-1_1.3.2-1+b2_i386.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-06-28 23:27:44.000000 debian-binary
│  -rw-r--r--   0        0        0     1304 2026-06-28 23:27:44.000000 control.tar.xz
│ --rw-r--r--   0        0        0  8376696 2026-06-28 23:27:44.000000 data.tar.xz
│ +-rw-r--r--   0        0        0  8377156 2026-06-28 23:27:44.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: e49fd3c056167a994fcb72604820c64388f277af
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 518216a24111eda1dec795486c31f1414a798758
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -917415,19 +917415,19 @@
│ │ │ │  	movl   $0x55,-0x305c(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x303c(%ebp),%eax
│ │ │ │  	lea    -0x3c89c4(%esi),%edx
│ │ │ │  	movl   $0x56,-0x3040(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x3020(%ebp),%eax
│ │ │ │ -	lea    -0x3c3094(%esi),%edx
│ │ │ │ +	lea    -0x3ca637(%esi),%edx
│ │ │ │  	movl   $0x57,-0x3024(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x3004(%ebp),%eax
│ │ │ │ -	lea    -0x3ca637(%esi),%edx
│ │ │ │ +	lea    -0x3c3094(%esi),%edx
│ │ │ │  	movl   $0x58,-0x3008(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2fe8(%ebp),%eax
│ │ │ │  	lea    -0x3d1f82(%esi),%edx
│ │ │ │  	movl   $0x58,-0x2fec(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x2fcc(%ebp),%eax
│ │ │ │ @@ -918079,31 +918079,31 @@
│ │ │ │  	movl   $0xf8,-0x1e34(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1e14(%ebp),%eax
│ │ │ │  	lea    -0x3c8ec2(%esi),%edx
│ │ │ │  	movl   $0xf9,-0x1e18(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1df8(%ebp),%eax
│ │ │ │ -	lea    -0x3c9d68(%esi),%edx
│ │ │ │ +	lea    -0x3d5fe9(%esi),%edx
│ │ │ │  	movl   $0xfa,-0x1dfc(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1ddc(%ebp),%eax
│ │ │ │ -	lea    -0x3d5fe9(%esi),%edx
│ │ │ │ +	lea    -0x3c9d68(%esi),%edx
│ │ │ │  	movl   $0xfb,-0x1de0(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1dc0(%ebp),%eax
│ │ │ │  	lea    -0x3ca382(%esi),%edx
│ │ │ │  	movl   $0xfb,-0x1dc4(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1da4(%ebp),%eax
│ │ │ │ -	lea    -0x3ca37b(%esi),%edx
│ │ │ │ +	lea    -0x3d1974(%esi),%edx
│ │ │ │  	movl   $0xfc,-0x1da8(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d88(%ebp),%eax
│ │ │ │ -	lea    -0x3d1974(%esi),%edx
│ │ │ │ +	lea    -0x3ca37b(%esi),%edx
│ │ │ │  	movl   $0xfd,-0x1d8c(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d6c(%ebp),%eax
│ │ │ │  	lea    -0x3c9997(%esi),%edx
│ │ │ │  	movl   $0xfd,-0x1d70(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1d50(%ebp),%eax
│ │ │ │ @@ -918131,19 +918131,19 @@
│ │ │ │  	movl   $0x102,-0x1cc8(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1ca8(%ebp),%eax
│ │ │ │  	lea    -0x3ca33a(%esi),%edx
│ │ │ │  	movl   $0x103,-0x1cac(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1c8c(%ebp),%eax
│ │ │ │ -	lea    -0x3ca325(%esi),%edx
│ │ │ │ +	lea    -0x3ca6f2(%esi),%edx
│ │ │ │  	movl   $0x104,-0x1c90(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1c70(%ebp),%eax
│ │ │ │ -	lea    -0x3ca6f2(%esi),%edx
│ │ │ │ +	lea    -0x3ca325(%esi),%edx
│ │ │ │  	movl   $0x105,-0x1c74(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1c54(%ebp),%eax
│ │ │ │  	lea    -0x3ca312(%esi),%edx
│ │ │ │  	movl   $0x105,-0x1c58(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1c38(%ebp),%eax
│ │ │ │ @@ -918239,19 +918239,19 @@
│ │ │ │  	movl   $0x11c,-0x19d4(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x19b4(%ebp),%eax
│ │ │ │  	lea    -0x3c8906(%esi),%edx
│ │ │ │  	movl   $0x11d,-0x19b8(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1998(%ebp),%eax
│ │ │ │ -	lea    -0x3c88f3(%esi),%edx
│ │ │ │ +	lea    -0x3c88dd(%esi),%edx
│ │ │ │  	movl   $0x11e,-0x199c(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x197c(%ebp),%eax
│ │ │ │ -	lea    -0x3c88dd(%esi),%edx
│ │ │ │ +	lea    -0x3c88f3(%esi),%edx
│ │ │ │  	movl   $0x11f,-0x1980(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1960(%ebp),%eax
│ │ │ │  	lea    -0x3c88c9(%esi),%edx
│ │ │ │  	movl   $0x11f,-0x1964(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1944(%ebp),%eax
│ │ │ │ @@ -918515,19 +918515,19 @@
│ │ │ │  	movl   $0x15e,-0x1248(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x1228(%ebp),%eax
│ │ │ │  	lea    -0x3c9a75(%esi),%edx
│ │ │ │  	movl   $0x15f,-0x122c(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x120c(%ebp),%eax
│ │ │ │ -	lea    -0x3c1cbb(%esi),%edx
│ │ │ │ +	lea    -0x3ca107(%esi),%edx
│ │ │ │  	movl   $0x160,-0x1210(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x11f0(%ebp),%eax
│ │ │ │ -	lea    -0x3ca107(%esi),%edx
│ │ │ │ +	lea    -0x3c1cbb(%esi),%edx
│ │ │ │  	movl   $0x161,-0x11f4(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x11d4(%ebp),%eax
│ │ │ │  	lea    -0x3c961e(%esi),%edx
│ │ │ │  	movl   $0x161,-0x11d8(%ebp)
│ │ │ │  	call   17fd300 <cvc5::internal::Options::Options()@@Base+0x14a0>
│ │ │ │  	lea    -0x11b8(%ebp),%eax
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	sub    $0xc,%esp
│ │ │ │  	lea    -0x28(%ebp),%edi
│ │ │ │  	mov    %esi,%ebx
│ │ │ │  	push   %edi
│ │ │ │  	call   12937b0 <std::_Hashtable<unsigned int, unsigned int, std::allocator<unsigned int>, std::__detail::_Identity, std::equal_to<unsigned int>, std::hash<unsigned int>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<false, true, true> >::~_Hashtable()@@Base+0x94220>
│ │ │ │  	mov    -0x28(%ebp),%ecx
│ │ │ │  	mov    %eax,%edx
│ │ │ │ -[ Too much input for diff (SHA256: 7c9c2bce9674dbcc67ce6bd2d26061c57a3840a4079189634eb46a534bf517b5) ]
│ │ │ │ +[ Too much input for diff (SHA256: 48c61ef35eaa4f050d001c2825dc3aa08df1ea78b6388acf49357162433095bf) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 39666433 63303536 31363761 39393466 9fd3c056167a994f
│ │ │ │ -  0x00000010 63623732 36303438 32306336 34333838 cb72604820c64388
│ │ │ │ -  0x00000020 66323737 61662e64 65627567 00000000 f277af.debug....
│ │ │ │ -  0x00000030 9b88ae42                            ...B
│ │ │ │ +  0x00000000 38323136 61323431 31316564 61316465 8216a24111eda1de
│ │ │ │ +  0x00000010 63373935 34383663 33316631 34313461 c795486c31f1414a
│ │ │ │ +  0x00000020 37393837 35382e64 65627567 00000000 798758.debug....
│ │ │ │ +  0x00000030 4eacb548                            N..H