--- /srv/rebuilderd/tmp/rebuilderdzRqbHd/inputs/libcvc5-1_1.3.2-1+b2_riscv64.deb
+++ /srv/rebuilderd/tmp/rebuilderdzRqbHd/out/libcvc5-1_1.3.2-1+b2_riscv64.deb
├── file list
│ @@ -1,3 +1,3 @@
│  -rw-r--r--   0        0        0        4 2026-07-09 13:44:01.000000 debian-binary
│ --rw-r--r--   0        0        0     1308 2026-07-09 13:44:01.000000 control.tar.xz
│ --rw-r--r--   0        0        0  7817300 2026-07-09 13:44:01.000000 data.tar.xz
│ +-rw-r--r--   0        0        0     1304 2026-07-09 13:44:01.000000 control.tar.xz
│ +-rw-r--r--   0        0        0  7817248 2026-07-09 13:44:01.000000 data.tar.xz
├── control.tar.xz
│ ├── control.tar
│ │ ├── ./md5sums
│ │ │ ├── ./md5sums
│ │ │ │┄ Files differ
├── data.tar.xz
│ ├── data.tar
│ │ ├── ./usr/lib/riscv64-linux-gnu/libcvc5.so.1
│ │ │┄ File has been modified after NT_GNU_BUILD_ID has been applied.
│ │ │ ├── readelf --wide --relocs {}
│ │ │ │ @@ -4405,19 +4405,19 @@
│ │ │ │  0000000001734630  0000000000000003 R_RISCV_RELATIVE                          1401c68
│ │ │ │  0000000001734638  0000000000000003 R_RISCV_RELATIVE                          1401c70
│ │ │ │  0000000001734640  0000000000000003 R_RISCV_RELATIVE                          13d3388
│ │ │ │  0000000001734648  0000000000000003 R_RISCV_RELATIVE                          1401c80
│ │ │ │  0000000001734650  0000000000000003 R_RISCV_RELATIVE                          1401c90
│ │ │ │  0000000001734658  0000000000000003 R_RISCV_RELATIVE                          1401cb0
│ │ │ │  0000000001734660  0000000000000003 R_RISCV_RELATIVE                          1401cc0
│ │ │ │ -0000000001734668  0000000000000003 R_RISCV_RELATIVE                          1401d20
│ │ │ │ +0000000001734668  0000000000000003 R_RISCV_RELATIVE                          1401d38
│ │ │ │  0000000001734670  0000000000000003 R_RISCV_RELATIVE                          1401ce0
│ │ │ │  0000000001734678  0000000000000003 R_RISCV_RELATIVE                          1401cf0
│ │ │ │  0000000001734680  0000000000000003 R_RISCV_RELATIVE                          1401d08
│ │ │ │ -0000000001734688  0000000000000003 R_RISCV_RELATIVE                          1401d30
│ │ │ │ +0000000001734688  0000000000000003 R_RISCV_RELATIVE                          1401d20
│ │ │ │  0000000001734690  0000000000000003 R_RISCV_RELATIVE                          1401d48
│ │ │ │  0000000001734698  0000000000000003 R_RISCV_RELATIVE                          1401d60
│ │ │ │  00000000017346a0  0000000000000003 R_RISCV_RELATIVE                          1401d78
│ │ │ │  00000000017346a8  0000000000000003 R_RISCV_RELATIVE                          1402d48
│ │ │ │  00000000017346b0  0000000000000003 R_RISCV_RELATIVE                          13d14f0
│ │ │ │  00000000017346b8  0000000000000003 R_RISCV_RELATIVE                          13d2068
│ │ │ │  00000000017346c0  0000000000000003 R_RISCV_RELATIVE                          1401d88
│ │ │ │ @@ -9161,16 +9161,16 @@
│ │ │ │  0000000001749708  0000000000000003 R_RISCV_RELATIVE                          1401190
│ │ │ │  0000000001749728  0000000000000003 R_RISCV_RELATIVE                          14011a8
│ │ │ │  0000000001749748  0000000000000003 R_RISCV_RELATIVE                          14011e0
│ │ │ │  0000000001749768  0000000000000003 R_RISCV_RELATIVE                          1401ce0
│ │ │ │  0000000001749788  0000000000000003 R_RISCV_RELATIVE                          1401cd8
│ │ │ │  00000000017497a8  0000000000000003 R_RISCV_RELATIVE                          1401cf0
│ │ │ │  00000000017497c8  0000000000000003 R_RISCV_RELATIVE                          1401d08
│ │ │ │ -00000000017497e8  0000000000000003 R_RISCV_RELATIVE                          1401d30
│ │ │ │ -0000000001749808  0000000000000003 R_RISCV_RELATIVE                          1401d20
│ │ │ │ +00000000017497e8  0000000000000003 R_RISCV_RELATIVE                          1401d20
│ │ │ │ +0000000001749808  0000000000000003 R_RISCV_RELATIVE                          1401d38
│ │ │ │  0000000001749828  0000000000000003 R_RISCV_RELATIVE                          1401d48
│ │ │ │  0000000001749848  0000000000000003 R_RISCV_RELATIVE                          1401d60
│ │ │ │  0000000001749868  0000000000000003 R_RISCV_RELATIVE                          1401d78
│ │ │ │  0000000001749888  0000000000000003 R_RISCV_RELATIVE                          14020d0
│ │ │ │  00000000017498a8  0000000000000003 R_RISCV_RELATIVE                          1417ea0
│ │ │ │  00000000017498c8  0000000000000003 R_RISCV_RELATIVE                          1402d58
│ │ │ │  00000000017498e8  0000000000000003 R_RISCV_RELATIVE                          1402d48
│ │ │ ├── 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: 11dede5dccc5d6272d97800446cc8c39f86014e6
│ │ │ │ +  GNU                  0x00000014	NT_GNU_BUILD_ID (unique build ID bitstring)	    Build ID: 0233aef405e351d47393c7b3a700d9837f4ceecd
│ │ │ ├── strings --all --bytes=8 {}
│ │ │ │┄ Ordering differences only
│ │ │ │ @@ -12862,16 +12862,16 @@
│ │ │ │  parse-only
│ │ │ │  parse-skolem-definitions
│ │ │ │  parsing-mode
│ │ │ │  partial-triggers
│ │ │ │  partition-check
│ │ │ │  partition-conflict-size
│ │ │ │  partition-start-time
│ │ │ │ -partition
│ │ │ │  partition-strategy
│ │ │ │ +partition
│ │ │ │  partition-time-interval
│ │ │ │  partition-tlimit
│ │ │ │  partition-when
│ │ │ │  plugin-notify-sat-clause-in-solve
│ │ │ │  plugin-share-skolems
│ │ │ │  portfolio-dry-run
│ │ │ │  portfolio-jobs
│ │ │ ├── objdump --line-numbers --disassemble --demangle --reloc --no-show-raw-insn --section=.text {}
│ │ │ │ @@ -61702,28 +61702,28 @@
│ │ │ │  	lui	a4,0x1
│ │ │ │  	lui	a5,0x1
│ │ │ │  	addi	a4,a4,976 
│ │ │ │  	addi	a5,a5,640 
│ │ │ │  	add	a0,a4,sp
│ │ │ │  	add	a5,a5,sp
│ │ │ │  	li	a4,124
│ │ │ │ -	auipc	a1,0x12e8
│ │ │ │ -	addi	a1,a1,-2046 
│ │ │ │ +	auipc	a1,0x1326
│ │ │ │ +	addi	a1,a1,682 
│ │ │ │  	sw	a4,328(a5)
│ │ │ │  	auipc	ra,0x1066
│ │ │ │  	jalr	480(ra) 
│ │ │ │  	lui	a4,0x1
│ │ │ │  	lui	a5,0x1
│ │ │ │  	addi	a4,a4,1016 
│ │ │ │  	addi	a5,a5,640 
│ │ │ │  	add	a0,a4,sp
│ │ │ │  	add	a5,a5,sp
│ │ │ │  	li	a4,125
│ │ │ │ -	auipc	a1,0x1326
│ │ │ │ -	addi	a1,a1,640 
│ │ │ │ +	auipc	a1,0x12e7
│ │ │ │ +	addi	a1,a1,2008 
│ │ │ │  	sw	a4,368(a5)
│ │ │ │  	auipc	ra,0x1066
│ │ │ │  	jalr	438(ra) 
│ │ │ │  	lui	a4,0x1
│ │ │ │  	lui	a5,0x1
│ │ │ │  	addi	a4,a4,1056 
│ │ │ │  	addi	a5,a5,640 
│ │ │ │ @@ -63270,28 +63270,28 @@
│ │ │ │  	lui	a5,0x3
│ │ │ │  	addi	a5,a5,-1976 
│ │ │ │  	add	a0,a5,sp
│ │ │ │  	lui	a5,0x2
│ │ │ │  	addi	a5,a5,640 
│ │ │ │  	add	a5,a5,sp
│ │ │ │  	li	a4,252
│ │ │ │ -	auipc	a1,0x12f7
│ │ │ │ -	addi	a1,a1,-1162 
│ │ │ │ +	auipc	a1,0x1325
│ │ │ │ +	addi	a1,a1,1118 
│ │ │ │  	sw	a4,1472(a5)
│ │ │ │  	auipc	ra,0x1065
│ │ │ │  	jalr	-908(ra) 
│ │ │ │  	lui	a5,0x3
│ │ │ │  	addi	a5,a5,-1936 
│ │ │ │  	add	a0,a5,sp
│ │ │ │  	lui	a5,0x2
│ │ │ │  	addi	a5,a5,640 
│ │ │ │  	add	a5,a5,sp
│ │ │ │  	li	a4,253
│ │ │ │ -	auipc	a1,0x1325
│ │ │ │ -	addi	a1,a1,1076 
│ │ │ │ +	auipc	a1,0x12f7
│ │ │ │ +	addi	a1,a1,-1204 
│ │ │ │  	sw	a4,1512(a5)
│ │ │ │  	auipc	ra,0x1065
│ │ │ │  	jalr	-950(ra) 
│ │ │ │  	lui	a5,0x3
│ │ │ │  	addi	a5,a5,-1896 
│ │ │ │  	add	a0,a5,sp
│ │ │ │  	lui	a5,0x2
│ │ │ │ @@ -63403,15 +63403,15 @@
│ │ │ │  	addi	a5,a5,-1536 
│ │ │ │  	add	a0,a5,sp
│ │ │ │  	lui	a5,0x2
│ │ │ │  	addi	a5,a5,640 
│ │ │ │  	add	a5,a5,sp
│ │ │ │  	li	a4,261
│ │ │ │  	auipc	a1,0x1325
│ │ │ │ -	addi	a1,a1,848 
│ │ │ │ +	addi	a1,a1,856 
│ │ │ │  	sw	a4,1912(a5)
│ │ │ │  	auipc	ra,0x1065
│ │ │ │  	jalr	-1370(ra) 
│ │ │ │  	lui	a5,0x3
│ │ │ │  	addi	a5,a5,-1496 
│ │ │ │  	add	a0,a5,sp
│ │ │ │  	lui	a5,0x2
│ │ │ │ @@ -4194296,8 +4194296,8 @@
│ │ │ │  	sub	s0,a4,a5
│ │ │ │  	addi	s3,sp,40
│ │ │ │  	beq	a4,a5,c0596e <void std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >::__resize_and_overwrite<std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1}>(unsigned long, std::__cxx11::to_string(unsigned int)::{lambda(char*, unsigned long)#1})@@Base+0xa15c>
│ │ │ │  	srai	s0,s0,0x3
│ │ │ │  	li	s6,0
│ │ │ │  	addi	s10,sp,56
│ │ │ │  	addi	s3,sp,40
│ │ │ │ -[ Too much input for diff (SHA256: d87736455377486e05cb8fbd217ce82c56d90cf7bef54fe9e351bc11a3cff9d7) ]
│ │ │ │ +[ Too much input for diff (SHA256: fc1e24d9de643cd5bc42ce62761f52a395cd064e356ad5f9875e7c9b70a6ce4c) ]
│ │ │ ├── readelf --wide --decompress --hex-dump=.rodata {}
│ │ │ │ @@ -19010,17 +19010,17 @@
│ │ │ │    0x01401cb0 70617273 696e672d 6d6f6465 00000000 parsing-mode....
│ │ │ │    0x01401cc0 70617274 69616c2d 74726967 67657273 partial-triggers
│ │ │ │    0x01401cd0 00000000 00000000 63686563 6b000000 ........check...
│ │ │ │    0x01401ce0 70617274 6974696f 6e2d6368 65636b00 partition-check.
│ │ │ │    0x01401cf0 70617274 6974696f 6e2d636f 6e666c69 partition-confli
│ │ │ │    0x01401d00 63742d73 697a6500 70617274 6974696f ct-size.partitio
│ │ │ │    0x01401d10 6e2d7374 6172742d 74696d65 00000000 n-start-time....
│ │ │ │ -  0x01401d20 70617274 6974696f 6e000000 00000000 partition.......
│ │ │ │ -  0x01401d30 70617274 6974696f 6e2d7374 72617465 partition-strate
│ │ │ │ -  0x01401d40 67790000 00000000 70617274 6974696f gy......partitio
│ │ │ │ +  0x01401d20 70617274 6974696f 6e2d7374 72617465 partition-strate
│ │ │ │ +  0x01401d30 67790000 00000000 70617274 6974696f gy......partitio
│ │ │ │ +  0x01401d40 6e000000 00000000 70617274 6974696f n.......partitio
│ │ │ │    0x01401d50 6e2d7469 6d652d69 6e746572 76616c00 n-time-interval.
│ │ │ │    0x01401d60 70617274 6974696f 6e2d746c 696d6974 partition-tlimit
│ │ │ │    0x01401d70 00000000 00000000 70617274 6974696f ........partitio
│ │ │ │    0x01401d80 6e2d7768 656e0000 706c7567 696e2d6e n-when..plugin-n
│ │ │ │    0x01401d90 6f746966 792d7361 742d636c 61757365 otify-sat-clause
│ │ │ │    0x01401da0 2d696e2d 736f6c76 65000000 00000000 -in-solve.......
│ │ │ │    0x01401db0 706c7567 696e2d73 68617265 2d736b6f plugin-share-sko
│ │ │ ├── readelf --wide --decompress --hex-dump=.gnu_debuglink {}
│ │ │ │ @@ -1,7 +1,7 @@
│ │ │ │  
│ │ │ │  Hex dump of section '.gnu_debuglink':
│ │ │ │ -  0x00000000 64656465 35646363 63356436 32373264 dede5dccc5d6272d
│ │ │ │ -  0x00000010 39373830 30343436 63633863 33396638 97800446cc8c39f8
│ │ │ │ -  0x00000020 36303134 65362e64 65627567 00000000 6014e6.debug....
│ │ │ │ -  0x00000030 89da20c9                            .. .
│ │ │ │ +  0x00000000 33336165 66343035 65333531 64343733 33aef405e351d473
│ │ │ │ +  0x00000010 39336337 62336137 30306439 38333766 93c7b3a700d9837f
│ │ │ │ +  0x00000020 34636565 63642e64 65627567 00000000 4ceecd.debug....
│ │ │ │ +  0x00000030 0a2c6582                            .,e.