--- /srv/rebuilderd/tmp/rebuilderdW4qUXN/inputs/libcvc5-1_1.1.2-2+b3_armel.deb
+++ /srv/rebuilderd/tmp/rebuilderdW4qUXN/out/libcvc5-1_1.1.2-2+b3_armel.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2025-01-09 11:38:25.000000 debian-binary
│ --rw-r--r--   0        0        0     1308 2025-01-09 11:38:25.000000 control.tar.xz
│ --rw-r--r--   0        0        0  5781428 2025-01-09 11:38:25.000000 data.tar.xz
│ +-rw-r--r--   0        0        0     1312 2025-01-09 11:38:25.000000 control.tar.xz
│ +-rw-r--r--   0        0        0  5781308 2025-01-09 11:38:25.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/arm-linux-gnueabi/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: 690b139e38439844af514f9a07966673f9475b83
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 3930173f869dc9a0f8e6733efd1e4ce16dba37af
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -77846,16 +77846,16 @@
│ │ │ │  	teqeq	r2, r8, asr r2
│ │ │ │  	teqeq	r2, r8, asr r2
│ │ │ │  	teqeq	r2, r0, ror #4
│ │ │ │  	teqeq	r2, r4, asr r2
│ │ │ │  	teqeq	r2, r4, asr #4
│ │ │ │  	teqeq	r2, r8, lsr r2
│ │ │ │  	teqeq	r2, r0, lsr r2
│ │ │ │ -	teqeq	r2, r4, lsr #4
│ │ │ │ -	teqeq	r4, r4, lsr #23
│ │ │ │ +	teqeq	r4, r0, asr #23
│ │ │ │ +	teqeq	r2, r8, lsl #4
│ │ │ │  	teqeq	r1, r8, ror fp
│ │ │ │  	teqeq	r2, r8, ror #3
│ │ │ │  	teqeq	r2, ip	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r0	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r0, asr #3
│ │ │ │  	teqeq	r2, r8	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r4, lsr #3
│ │ │ │ @@ -77995,19 +77995,19 @@
│ │ │ │  	teqeq	r2, r4	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r4	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r0, lsr #11
│ │ │ │  	teqeq	r2, ip, lsl #11
│ │ │ │  	teqeq	r2, r8, lsl #11
│ │ │ │  	teqeq	r2, r0, lsl #11
│ │ │ │  	teqeq	r1, r8, lsr #12
│ │ │ │ -	teqeq	r1, r4, ror r0
│ │ │ │ -			@ <UNDEFINED> instruction: 0x012e9c78
│ │ │ │ +			@ <UNDEFINED> instruction: 0x012e9c94
│ │ │ │ +	teqeq	r1, r8, asr r0
│ │ │ │  	teqeq	r2, ip, lsr #10
│ │ │ │ -	teqeq	r2, r8, lsl r5
│ │ │ │ -			@ <UNDEFINED> instruction: 0x012fb568
│ │ │ │ +	smlawbeq	pc, r4, r5, fp	@ <UNPREDICTABLE>
│ │ │ │ +	teqeq	r2, ip	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, ip, ror #9
│ │ │ │  	teqeq	r2, r0, ror #9
│ │ │ │  	teqeq	r4, r8, lsr #5
│ │ │ │  	teqeq	r2, ip	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r0	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, ip, lsr #9
│ │ │ │  	teqeq	r2, r8, lsr #9
│ │ │ │ @@ -80168,17 +80168,17 @@
│ │ │ │  	teqeq	r2, r8, ror #3
│ │ │ │  	andeq	r0, r0, r1, lsr r1
│ │ │ │  	teqeq	r2, ip	@ <illegal shifter operand>
│ │ │ │  	andeq	r0, r0, r2, lsr r1
│ │ │ │  	teqeq	r2, r0	@ <illegal shifter operand>
│ │ │ │  	andeq	r0, r0, r3, lsr r1
│ │ │ │  	teqeq	r2, r4	@ <illegal shifter operand>
│ │ │ │ -	teqeq	r2, r0, asr #3
│ │ │ │ +			@ <UNDEFINED> instruction: 0x012e9374
│ │ │ │  	andeq	r0, r0, r5, lsr r1
│ │ │ │ -			@ <UNDEFINED> instruction: 0x012e935c
│ │ │ │ +	teqeq	r2, r8, lsr #3
│ │ │ │  	andeq	r0, r0, r6, lsr r1
│ │ │ │  	teqeq	r2, r8	@ <illegal shifter operand>
│ │ │ │  	teqeq	r2, r8, lsl #3
│ │ │ │  	andeq	r0, r0, r7, lsr r1
│ │ │ │  	teqeq	r2, r4, ror r1
│ │ │ │  	teqeq	r2, r8, ror #2
│ │ │ │  	andeq	r0, r0, r9, lsr r1
│ │ │ │ @@ -80206,17 +80206,17 @@
│ │ │ │  	teqeq	r2, r8, lsr #1
│ │ │ │  	andeq	r0, r0, r6, asr #2
│ │ │ │  			@ <UNDEFINED> instruction: 0x01326094
│ │ │ │  	andeq	r0, r0, r7, asr #2
│ │ │ │  	teqeq	r2, r8, lsl #1
│ │ │ │  	teqeq	r2, r8, ror r0
│ │ │ │  	andeq	r0, r0, r9, asr #2
│ │ │ │ -	teqeq	r2, ip, rrx
│ │ │ │ +			@ <UNDEFINED> instruction: 0x012f8ba8
│ │ │ │  	andeq	r0, r0, sl, asr #2
│ │ │ │ -	smlawbeq	pc, r8, fp, r8	@ <UNPREDICTABLE>
│ │ │ │ +	teqeq	r2, ip, asr #32
│ │ │ │  	andeq	r0, r0, fp, asr #2
│ │ │ │  	teqeq	r2, r0, asr #32
│ │ │ │  	teqeq	r2, r4, lsr r0
│ │ │ │  			@ <UNDEFINED> instruction: 0x012f9678
│ │ │ │  	andeq	r0, r0, sp, asr #2
│ │ │ │  	teqeq	r2, r4	@ <illegal shifter operand>
│ │ │ │  	andeq	r0, r0, lr, asr #2
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	mov	r0, ip
│ │ │ │  	str	r3, [ip, #4]
│ │ │ │  	bl	540a0 <cvc5::internal::expr::NodeValue::markRefCountMaxedOut()@plt>
│ │ │ │  	ldr	r1, [sp, #4]
│ │ │ │  	b	1055a58 <std::_Hashtable<cvc5::internal::TypeNode const, std::pair<cvc5::internal::TypeNode const, bool const>, std::allocator<std::pair<cvc5::internal::TypeNode const, bool const> >, std::__detail::_Select1st, std::equal_to<cvc5::internal::TypeNode const>, std::hash<cvc5::internal::TypeNode>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<true, false, true> >::_M_insert_unique_node(unsigned int, unsigned int, std::__detail::_Hash_node<std::pair<cvc5::internal::TypeNode const, bool const>, true>*, unsigned int)@@Base+0x36aec>
│ │ │ │  	bl	56920 <cvc5::internal::expr::NodeValue::markForDeletion()@plt>
│ │ │ │  	b	1055aa4 <std::_Hashtable<cvc5::internal::TypeNode const, std::pair<cvc5::internal::TypeNode const, bool const>, std::allocator<std::pair<cvc5::internal::TypeNode const, bool const> >, std::__detail::_Select1st, std::equal_to<cvc5::internal::TypeNode const>, std::hash<cvc5::internal::TypeNode>, std::__detail::_Mod_range_hashing, std::__detail::_Default_ranged_hash, std::__detail::_Prime_rehash_policy, std::__detail::_Hashtable_traits<true, false, true> >::_M_insert_unique_node(unsigned int, unsigned int, std::__detail::_Hash_node<std::pair<cvc5::internal::TypeNode const, bool const>, true>*, unsigned int)@@Base+0x36b38>
│ │ │ │ -[ Too much input for diff (SHA256: e9f3d1f9a810e18f9ae1353d3bc405e0b9809c2de06355ebfd5422f8efc2c3c3) ]
│ │ │ │ +[ Too much input for diff (SHA256: 408db93c31cde891f524e30353bde093e7f755ce1a5e693f9f2836743a0c0193) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 30623133 39653338 34333938 34346166 0b139e38439844af
│ │ │ │ -  0x00000010 35313466 39613037 39363636 37336639 514f9a07966673f9
│ │ │ │ -  0x00000020 34373562 38332e64 65627567 00000000 475b83.debug....
│ │ │ │ -  0x00000030 168d8c1e                            ....
│ │ │ │ +  0x00000000 33303137 33663836 39646339 61306638 30173f869dc9a0f8
│ │ │ │ +  0x00000010 65363733 33656664 31653463 65313664 e6733efd1e4ce16d
│ │ │ │ +  0x00000020 62613337 61662e64 65627567 00000000 ba37af.debug....
│ │ │ │ +  0x00000030 519d5b87                            Q.[.