9.1 KB
/srv/reproducible-results/rbuild-debian/r-b-build.hf8pgLJG/b1/cvc5_1.1.2-2_i386.changes vs.
/srv/reproducible-results/rbuild-debian/r-b-build.hf8pgLJG/b2/cvc5_1.1.2-2_i386.changes
1.5 KB
Files
    
Offset 1, 10 lines modifiedOffset 1, 10 lines modified
  
1 ·ec9fe219d5bec61bd793d64031777c51·1796772·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb 
2 ·fe1ec5d6c0ee65973b92cdb1cf2fc7e4·113296·math·optional·cvc5_1.1.2-2_i386.deb 
3 ·67a0284b9d601e42e300755d600d1a78·177223212·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb 
4 ·7134404f9d7d852428975617309da292·7028368·libs·optional·libcvc5-1_1.1.2-2_i386.deb1 ·e4d020b53ad27d21d4a98e45835f239b·1796664·debug·optional·cvc5-dbgsym_1.1.2-2_i386.deb
 2 ·48d08c946742f4ef4dc9101e7bb165cc·113276·math·optional·cvc5_1.1.2-2_i386.deb
 3 ·2d18930a715009c567b440d267575847·177219116·debug·optional·libcvc5-1-dbgsym_1.1.2-2_i386.deb
 4 ·29a23b56f19424464d5029282f220d80·7026428·libs·optional·libcvc5-1_1.1.2-2_i386.deb
5 ·7189827e153052feb4c709b7b450a8a3·92948·libdevel·optional·libcvc5-dev_1.1.2-2_i386.deb5 ·7189827e153052feb4c709b7b450a8a3·92948·libdevel·optional·libcvc5-dev_1.1.2-2_i386.deb
6 ·6f47db291676eecaeebe96e32caab871·3956292·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb 
7 ·3b58a05054e574a05dea4f5d86d7517d·253844·libs·optional·libcvc5parser1_1.1.2-2_i386.deb 
8 ·232a35d469538dceb1463e905a0186b7·2469392·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb 
9 ·47a1e027e741da3270c1e23e4f2a509d·315228·python·optional·python3-cvc5_1.1.2-2_i386.deb6 ·74b81c219448a8f66bed616b69d0eef9·3956396·debug·optional·libcvc5parser1-dbgsym_1.1.2-2_i386.deb
 7 ·efece5b95b4cd06e29bbabec3ea08d0f·253836·libs·optional·libcvc5parser1_1.1.2-2_i386.deb
 8 ·578a705b82d4921b59c7cee41e225068·2468744·debug·optional·python3-cvc5-dbgsym_1.1.2-2_i386.deb
 9 ·be0d20d55983c67f9d4dec034321a9ac·315316·python·optional·python3-cvc5_1.1.2-2_i386.deb
3.0 KB
cvc5_1.1.2-2_i386.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···111988·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0···111968·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
2.51 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:·8a5a65a42197e200415c5ead6a2dee997614cd4a3 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·701b227ed0742679fc9a7f4148e7bafc859c583e
  
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.2.06 ··GNU··················0x00000010»  NT_GNU_ABI_TAG·(ABI·version·tag)»     ····OS:·Linux,·ABI:·3.2.0
866 B
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·35613635·61343231·39376532·30303431·5a65a42197e20041 
3 ··0x00000010·35633565·61643661·32646565·39393736·5c5ead6a2dee99762 ··0x00000000·31623232·37656430·37343236·37396663·1b227ed0742679fc
 3 ··0x00000010·39613766·34313438·65376261·66633835·9a7f4148e7bafc85
4 ··0x00000020·31346364·34612e64·65627567·00000000·14cd4a.debug....4 ··0x00000020·39633538·33652e64·65627567·00000000·9c583e.debug....
5 ··0x00000030·e9ffaeb0····························....5 ··0x00000030·bcde5ea4····························..^.
  
957 B
xz --list
    
Offset 1, 13 lines modifiedOffset 1, 13 lines modified
1 ··Streams:···········11 ··Streams:···········1
2 ··Blocks:············12 ··Blocks:············1
3 ··Compressed·size:···109.4·KiB·(111988·B)3 ··Compressed·size:···109.3·KiB·(111968·B)
4 ··Uncompressed·size:·440.0·KiB·(450560·B)4 ··Uncompressed·size:·440.0·KiB·(450560·B)
5 ··Ratio:·············0.2495 ··Ratio:·············0.249
6 ··Check:·············CRC646 ··Check:·············CRC64
7 ··Stream·Padding:····0·B7 ··Stream·Padding:····0·B
8 ··Streams:8 ··Streams:
9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10 ·········1·········1···············0···············0··········111988··········450560··0.249··CRC64············010 ·········1·········1···············0···············0··········111968··········450560··0.249··CRC64············0
11 ··Blocks:11 ··Blocks:
12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13 ·········1·········1··············12···············0··········111952··········450560··0.248··CRC6413 ·········1·········1··············12···············0··········111932··········450560··0.248··CRC64
3.68 KB
libcvc5-1_1.1.2-2_i386.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·····1276·2024-03-19·00:06:23.000000·control.tar.xz2 -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz
3 -rw-r--r--···0········0········0··7026900·2024-03-19·00:06:23.000000·data.tar.xz3 -rw-r--r--···0········0········0··7024960·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
3.18 KB
data.tar.xz
2.02 KB
data.tar
2.01 KB
./usr/lib/i386-linux-gnu/libcvc5.so.1
File has been modified after NT_GNU_BUILD_ID has been applied.
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:·98f77089e2ed22627b3366448c40da99c0254f043 ··GNU··················0x00000014»  NT_GNU_BUILD_ID·(unique·build·ID·bitstring)»   ····Build·ID:·7a43a7e2a290257c190d45016cca98668729ed2b
400 B
strings --all --bytes=8 {}
Ordering differences only
    
Offset 10599, 16 lines modifiedOffset 10599, 16 lines modified
10599 trigger-active-sel10599 trigger-active-sel
10600 trigger-sel10600 trigger-sel
10601 uf-ss-abort-card10601 uf-ss-abort-card
10602 unate-lemmas10602 unate-lemmas
10603 unsat-cores-mode10603 unsat-cores-mode
10604 user-pat10604 user-pat
10605 user-pool10605 user-pool
10606 write-partitions-to 
10607 partitions-out10606 partitions-out
 10607 write-partitions-to
10608 Argument·'10608 Argument·'
10609 '·for·bool·option·10609 '·for·bool·option·
10610 ·is·not·a·bool·constant10610 ·is·not·a·bool·constant
10611 ·is·negative10611 ·is·negative
10612 ·did·parse·only·partially·as·10612 ·did·parse·only·partially·as·
10613 ,·leaving·'10613 ,·leaving·'
10614 ·did·not·parse·as·10614 ·did·not·parse·as·
52.0 B
.plt
Timeout exceeded; details may be incomplete.
60.0 B
.plt.got
Timeout exceeded; details may be incomplete.
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
Timeout exceeded; details may be incomplete.
62.0 B
.shstrtab
Timeout exceeded; details may be incomplete.
1.13 KB
xz --list
    
Offset 1, 14 lines modifiedOffset 1, 14 lines modified
1 ··Streams:···········11 ··Streams:···········1
2 ··Blocks:············22 ··Blocks:············2
3 ··Compressed·size:···6862.2·KiB·(7026900·B)3 ··Compressed·size:···6860.3·KiB·(7024960·B)
4 ··Uncompressed·size:·25.4·MiB·(26583040·B)4 ··Uncompressed·size:·25.4·MiB·(26583040·B)
5 ··Ratio:·············0.2645 ··Ratio:·············0.264
6 ··Check:·············CRC646 ··Check:·············CRC64
7 ··Stream·Padding:····0·B7 ··Stream·Padding:····0·B
8 ··Streams:8 ··Streams:
9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding9 ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding
10 ·········1·········2···············0···············0·········7026900········26583040··0.264··CRC64············010 ·········1·········2···············0···············0·········7024960········26583040··0.264··CRC64············0
11 ··Blocks:11 ··Blocks:
12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check12 ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check
13 ·········1·········1··············12···············0·········6489828········25165824··0.258··CRC6413 ·········1·········1··············12···············0·········6487892········25165824··0.258··CRC64
14 ·········1·········2·········6489840········25165824··········537028·········1417216··0.379··CRC6414 ·········1·········2·········6487904········25165824··········537024·········1417216··0.379··CRC64
100 B
libcvc5-dev_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
106 B
libcvc5parser1_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
102 B
python3-cvc5_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
100 B
cvc5-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
110 B
libcvc5-1-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
120 B
libcvc5parser1-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.
116 B
python3-cvc5-dbgsym_1.1.2-2_i386.deb
Timeout exceeded; details may be incomplete.