⊟
25.0 KB
/srv/reproducible-results/rbuild-debian/r-b-build.7hQRq8Cv/b1/cvc5_1.1.2-2_arm64.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.7hQRq8Cv/b2/cvc5_1.1.2-2_arm64.changes
⊟
1.52 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·052785438584408e9ed165dc6eb308e8·1777564·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb 
2 ·5eb1dd820b7d0793999d34900ff09fd4·98640·math·optional·cvc5_1.1.2-2_arm64.deb 
3 ·1608b75d901557271b7e6e276b636a92·177438680·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb 
4 ·5699493b450d071dec9bc56621ab3d04·5473560·libs·optional·libcvc5-1_1.1.2-2_arm64.deb1 ·45fcf43e123845ab4516369ff5e351a6·1777792·debug·optional·cvc5-dbgsym_1.1.2-2_arm64.deb
 2 ·ddaa80feb7500d16ce974094780f47c7·98556·math·optional·cvc5_1.1.2-2_arm64.deb
 3 ·bbbfc51e95033c6855938a518e1670f6·177440456·debug·optional·libcvc5-1-dbgsym_1.1.2-2_arm64.deb
 4 ·98603575f33ff70752685f884fb34deb·5475124·libs·optional·libcvc5-1_1.1.2-2_arm64.deb
5 ·5e0047f0649d15529d302a0c6ed31aa3·92960·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb5 ·5e0047f0649d15529d302a0c6ed31aa3·92960·libdevel·optional·libcvc5-dev_1.1.2-2_arm64.deb
6 ·de7f9c8307cc808acc5db85a5bf8d91c·3946564·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb 
7 ·ced9a84aa1c14b9d1565e4fa0395d180·205904·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb 
8 ·a38873220465b9994eafc8a56d09dbcb·2484376·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb 
9 ·7b39a90a1474584cfc899ea57f90f7e1·297896·python·optional·python3-cvc5_1.1.2-2_arm64.deb6 ·a2676cad92fb9574d4e4ad793fa81361·3946244·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
 7 ·8c171b7d92011feb36f4bf62e9477749·205812·libs·optional·libcvc5parser1_1.1.2-2_arm64.deb
 8 ·98bb4d8dee62132ef35d144ee0e419e9·2484256·debug·optional·python3-cvc5-dbgsym_1.1.2-2_arm64.deb
 9 ·e7d057e3a72d238ec2b166c733643ce6·298020·python·optional·python3-cvc5_1.1.2-2_arm64.deb
⊟
2.07 KB
cvc5_1.1.2-2_arm64.deb
⊟
367 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0····97332·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0····97248·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
1.57 KB
data.tar.xz
⊟
1.55 KB
data.tar
⊟
1.53 KB
./usr/bin/cvc5
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
615 B
readelf --wide --notes {}
    
Offset 1, 8 lines modifiedOffset 1, 8 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·636bf2c6dc7a0ecec1092539d93ffa5e432ed38e3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·e6318136731647d535dbc860e2987fdc016b21fb
  
4 Displaying·notes·found·in:·.note.ABI-tag4 Displaying·notes·found·in:·.note.ABI-tag
5 ··Owner················Data·size·»  Description5 ··Owner················Data·size·»  Description
6 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.06 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.7.0
⊟
866 B
readelf --wide --decompress --hex-dump=.gnu_debuglink {}
error from `readelf --wide --decompress --hex-dump=.gnu_debuglink {}`: readelf: Error: Unable to find program interpreter name readelf: Error: no .dynamic section in the dynamic segment
    
Offset 1, 7 lines modifiedOffset 1, 7 lines modified
  
1 Hex·dump·of·section·'.gnu_debuglink':1 Hex·dump·of·section·'.gnu_debuglink':
2 ··0x00000000·36626632·63366463·37613065·63656331·6bf2c6dc7a0ecec1 
3 ··0x00000010·30393235·33396439·33666661·35653433·092539d93ffa5e432 ··0x00000000·33313831·33363733·31363437·64353335·318136731647d535
 3 ··0x00000010·64626338·36306532·39383766·64633031·dbc860e2987fdc01
4 ··0x00000020·32656433·38652e64·65627567·00000000·2ed38e.debug....4 ··0x00000020·36623231·66622e64·65627567·00000000·6b21fb.debug....
5 ··0x00000030·9db9002e····························....5 ··0x00000030·e69498ad····························....
  
⊟
20.5 KB
libcvc5-1_1.1.2-2_arm64.deb
⊟
452 B
file list
    
Offset 1, 3 lines modifiedOffset 1, 3 lines modified
1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary1 -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary
2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1280·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··5472092·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··5473652·2024-03-19·00:06:23.000000·data.tar.xz
⊟
98.0 B
control.tar.xz
⊟
70.0 B
control.tar
⊟
48.0 B
./md5sums
⊟
30.0 B
./md5sums
Files differ
⊟
19.9 KB
data.tar.xz
⊟
19.9 KB
data.tar
⊟
19.8 KB
./usr/lib/aarch64-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
⊟
17.5 KB
readelf --wide --relocs {}
    
Offset 7376, 15 lines modifiedOffset 7376, 15 lines modified
7376 0000000001560698··0000000000000403·R_AARCH64_RELATIVE························128dce87376 0000000001560698··0000000000000403·R_AARCH64_RELATIVE························128dce8
7377 00000000015606a0··0000000000000403·R_AARCH64_RELATIVE························128dcf87377 00000000015606a0··0000000000000403·R_AARCH64_RELATIVE························128dcf8
7378 00000000015606a8··0000000000000403·R_AARCH64_RELATIVE························128dd087378 00000000015606a8··0000000000000403·R_AARCH64_RELATIVE························128dd08
7379 00000000015606b0··0000000000000403·R_AARCH64_RELATIVE························128dd207379 00000000015606b0··0000000000000403·R_AARCH64_RELATIVE························128dd20
7380 00000000015606b8··0000000000000403·R_AARCH64_RELATIVE························128dd387380 00000000015606b8··0000000000000403·R_AARCH64_RELATIVE························128dd38
7381 00000000015606c0··0000000000000403·R_AARCH64_RELATIVE························128dd487381 00000000015606c0··0000000000000403·R_AARCH64_RELATIVE························128dd48
7382 00000000015606c8··0000000000000403·R_AARCH64_RELATIVE························128dd587382 00000000015606c8··0000000000000403·R_AARCH64_RELATIVE························128dd58
7383 00000000015606d0··0000000000000403·R_AARCH64_RELATIVE························128e9187383 00000000015606d0··0000000000000403·R_AARCH64_RELATIVE························128e928
7384 00000000015606d8··0000000000000403·R_AARCH64_RELATIVE························128dd707384 00000000015606d8··0000000000000403·R_AARCH64_RELATIVE························128dd70
7385 00000000015606e0··0000000000000403·R_AARCH64_RELATIVE························128dd807385 00000000015606e0··0000000000000403·R_AARCH64_RELATIVE························128dd80
7386 00000000015606e8··0000000000000403·R_AARCH64_RELATIVE························128dd987386 00000000015606e8··0000000000000403·R_AARCH64_RELATIVE························128dd98
7387 00000000015606f0··0000000000000403·R_AARCH64_RELATIVE························12606087387 00000000015606f0··0000000000000403·R_AARCH64_RELATIVE························1260608
7388 00000000015606f8··0000000000000403·R_AARCH64_RELATIVE························128dda87388 00000000015606f8··0000000000000403·R_AARCH64_RELATIVE························128dda8
7389 0000000001560700··0000000000000403·R_AARCH64_RELATIVE························128ddb87389 0000000001560700··0000000000000403·R_AARCH64_RELATIVE························128ddb8
7390 0000000001560708··0000000000000403·R_AARCH64_RELATIVE························128ddc87390 0000000001560708··0000000000000403·R_AARCH64_RELATIVE························128ddc8
⊟
430 B
readelf --wide --notes {}
    
Offset 1, 4 lines modifiedOffset 1, 4 lines modified
  
1 Displaying·notes·found·in:·.note.gnu.build-id1 Displaying·notes·found·in:·.note.gnu.build-id
2 ··Owner················Data·size·»  Description2 ··Owner················Data·size·»  Description
3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·d2f956e09fe26455aea64f20a726a7c87637aa943 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·36d2f4b439361e9b03cb50dc21ba239850c93b88
⊟
852 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 8986, 16 lines modifiedOffset 8986, 16 lines modified
8986 preprocess-only8986 preprocess-only
8987 preregister-mode8987 preregister-mode
8988 print-cores-full8988 print-cores-full
8989 print-dot-clusters8989 print-dot-clusters
8990 print-inst8990 print-inst
8991 print-inst-full8991 print-inst-full
8992 produce-abducts8992 produce-abducts
8993 produce-assertions 
8994 interactive-mode8993 interactive-mode
 8994 produce-assertions
8995 produce-assignments8995 produce-assignments
8996 produce-difficulty8996 produce-difficulty
8997 produce-interpolants8997 produce-interpolants
8998 produce-learned-literals8998 produce-learned-literals
8999 produce-proofs8999 produce-proofs
9000 produce-unsat-assumptions9000 produce-unsat-assumptions
9001 proof-alethe-res-pivots9001 proof-alethe-res-pivots
⊟
54.0 B
.text
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.fini
Timeout exceeded; details may be incomplete.
⊟
58.0 B
.rodata
Timeout exceeded; details may be incomplete.
⊟
70.0 B
.eh_frame_hdr
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.eh_frame
Timeout exceeded; details may be incomplete.
⊟
78.0 B
.gcc_except_table
Timeout exceeded; details may be incomplete.
⊟
56.0 B
.tdata
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.tbss
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.init_array
Timeout exceeded; details may be incomplete.
⊟
66.0 B
.fini_array
Timeout exceeded; details may be incomplete.
⊟
68.0 B
.data.rel.ro
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.got
Timeout exceeded; details may be incomplete.
⊟
54.0 B
.data
Timeout exceeded; details may be incomplete.
⊟
52.0 B
.bss
Timeout exceeded; details may be incomplete.
⊟
72.0 B
.gnu_debuglink
Timeout exceeded; details may be incomplete.
⊟
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
⊟
102 B
libcvc5-dev_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
108 B
libcvc5parser1_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
104 B
python3-cvc5_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
102 B
cvc5-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
112 B
libcvc5-1-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
122 B
libcvc5parser1-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
⊟
118 B
python3-cvc5-dbgsym_1.1.2-2_arm64.deb
Timeout exceeded; details may be incomplete.
Generated by diffoscope 264