Offset 1, 10 lines modified | Offset 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 | · | 1 | ·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.deb | 5 | ·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 | ·4 | 6 | ·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 |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -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.xz | 2 | -rw-r--r--···0········0········0·····1116·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0···1119 | 3 | -rw-r--r--···0········0········0···111968·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·701b227ed0742679fc9a7f4148e7bafc859c583e |
4 | Displaying·notes·found·in:·.note.ABI-tag | 4 | Displaying·notes·found·in:·.note.ABI-tag |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 | 6 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.0 |
Offset 1, 7 lines modified | Offset 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 | ··0x000000 | 2 | ··0x00000000·31623232·37656430·37343236·37396663·1b227ed0742679fc |
3 | ··0x00000010·39613766·34313438·65376261·66633835·9a7f4148e7bafc85 | ||
4 | ··0x00000020·3 | 4 | ··0x00000020·39633538·33652e64·65627567·00000000·9c583e.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·bcde5ea4····························..^. |
Offset 1, 13 lines modified | Offset 1, 13 lines modified | ||
1 | ··Streams:···········1 | 1 | ··Streams:···········1 |
2 | ··Blocks:············1 | 2 | ··Blocks:············1 |
3 | ··Compressed·size:···109. | 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.249 | 5 | ··Ratio:·············0.249 |
6 | ··Check:·············CRC64 | 6 | ··Check:·············CRC64 |
7 | ··Stream·Padding:····0·B | 7 | ··Stream·Padding:····0·B |
8 | ··Streams: | 8 | ··Streams: |
9 | ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding | 9 | ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding |
10 | ·········1·········1···············0···············0··········1119 | 10 | ·········1·········1···············0···············0··········111968··········450560··0.249··CRC64············0 |
11 | ··Blocks: | 11 | ··Blocks: |
12 | ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check | 12 | ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check |
13 | ·········1·········1··············12···············0··········1119 | 13 | ·········1·········1··············12···············0··········111932··········450560··0.248··CRC64 |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2024-03-19·00:06:23.000000·debian-binary | 1 | -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.xz | 2 | -rw-r--r--···0········0········0·····1276·2024-03-19·00:06:23.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··702 | 3 | -rw-r--r--···0········0········0··7024960·2024-03-19·00:06:23.000000·data.tar.xz |
Offset 1, 4 lines modified | Offset 1, 4 lines modified | ||
1 | Displaying·notes·found·in:·.note.gnu.build-id | 1 | Displaying·notes·found·in:·.note.gnu.build-id |
2 | ··Owner················Data·size·» Description | 2 | ··Owner················Data·size·» Description |
3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:· | 3 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·7a43a7e2a290257c190d45016cca98668729ed2b |
Offset 10599, 16 lines modified | Offset 10599, 16 lines modified | ||
10599 | trigger-active-sel | 10599 | trigger-active-sel |
10600 | trigger-sel | 10600 | trigger-sel |
10601 | uf-ss-abort-card | 10601 | uf-ss-abort-card |
10602 | unate-lemmas | 10602 | unate-lemmas |
10603 | unsat-cores-mode | 10603 | unsat-cores-mode |
10604 | user-pat | 10604 | user-pat |
10605 | user-pool | 10605 | user-pool |
10606 | write-partitions-to | ||
10607 | partitions-out | 10606 | partitions-out |
10607 | write-partitions-to | ||
10608 | Argument·' | 10608 | Argument·' |
10609 | '·for·bool·option· | 10609 | '·for·bool·option· |
10610 | ·is·not·a·bool·constant | 10610 | ·is·not·a·bool·constant |
10611 | ·is·negative | 10611 | ·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· |
Offset 1, 14 lines modified | Offset 1, 14 lines modified | ||
1 | ··Streams:···········1 | 1 | ··Streams:···········1 |
2 | ··Blocks:············2 | 2 | ··Blocks:············2 |
3 | ··Compressed·size:···686 | 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.264 | 5 | ··Ratio:·············0.264 |
6 | ··Check:·············CRC64 | 6 | ··Check:·············CRC64 |
7 | ··Stream·Padding:····0·B | 7 | ··Stream·Padding:····0·B |
8 | ··Streams: | 8 | ··Streams: |
9 | ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding | 9 | ····Stream····Blocks······CompOffset····UncompOffset········CompSize······UncompSize··Ratio··Check······Padding |
10 | ·········1·········2···············0···············0·········702 | 10 | ·········1·········2···············0···············0·········7024960········26583040··0.264··CRC64············0 |
11 | ··Blocks: | 11 | ··Blocks: |
12 | ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check | 12 | ····Stream·····Block······CompOffset····UncompOffset·······TotalSize······UncompSize··Ratio··Check |
13 | ·········1·········1··············12···············0·········648 | 13 | ·········1·········1··············12···············0·········6487892········25165824··0.258··CRC64 |
14 | ·········1·········2·········6489 | 14 | ·········1·········2·········6487904········25165824··········537024·········1417216··0.379··CRC64 |