Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | · | 1 | ·f245a04b435555933689b1cf61cf41c4·12904·debug·optional·boolector-dbgsym_1.5.118.6b56be4.121013-1_arm64.deb |
2 | ·1 | 2 | ·17d8e8928a6873895d1bbc1b7a07b08b·260964·science·extra·boolector_1.5.118.6b56be4.121013-1_arm64.deb |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | Displaying·notes·found·in:·.note.ABI-tag | 1 | Displaying·notes·found·in:·.note.ABI-tag |
2 | ··Owner·················Data·size» Description | 2 | ··Owner·················Data·size» Description |
3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0 | 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0 |
4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
5 | ··Owner·················Data·size» Description | 5 | ··Owner·················Data·size» Description |
6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·c | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·c3233e163424e54759acf4a6e0995de5435c50ae |
Offset 98, 15 lines modified | Offset 98, 15 lines modified | ||
98 | incremental·look-ahead·window·of·%d | 98 | incremental·look-ahead·window·of·%d |
99 | 6b56be42e9d2a80527f44ae7ef8b031e8e4ce478 | 99 | 6b56be42e9d2a80527f44ae7ef8b031e8e4ce478 |
100 | Boolector·Version·%s·%s | 100 | Boolector·Version·%s·%s |
101 | gcc·(Debian·8.3.0-6)·8.3.0 | 101 | gcc·(Debian·8.3.0-6)·8.3.0 |
102 | -W·-Wall·-Wextra·-O3·-DNDEBUG·-DBTOR_USE_LINGELING | 102 | -W·-Wall·-Wextra·-O3·-DNDEBUG·-DBTOR_USE_LINGELING |
103 | Sat·Oct·13·13:59:09·CEST·2012 | 103 | Sat·Oct·13·13:59:09·CEST·2012 |
104 | released·%s | 104 | released·%s |
105 | 105 | Wed·Jul·22·20:07:33·+14·2020 | |
106 | compiled·%s | 106 | compiled·%s |
107 | incremental·interval·window·of·%d | 107 | incremental·interval·window·of·%d |
108 | setting·signal·handlers | 108 | setting·signal·handlers |
109 | setting·time·limit·to·%d·seconds | 109 | setting·time·limit·to·%d·seconds |
110 | no·time·limit | 110 | no·time·limit |
111 | forced·BTOR·parsing·through·command·line·option | 111 | forced·BTOR·parsing·through·command·line·option |
112 | forced·SMTLIB·version·1·parsing·through·command·line·option | 112 | forced·SMTLIB·version·1·parsing·through·command·line·option |
Offset 1423, 19 lines modified | Offset 1423, 19 lines modified | ||
1423 | -Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT· | 1423 | -Wall·-O3·-DNLGLOG·-DNDEBUG·-DNCHKSOL·-DNLGLPICOSAT· |
1424 | b02aa1a04343558c4252b5f4a723be021964f652 | 1424 | b02aa1a04343558c4252b5f4a723be021964f652 |
1425 | %sVersion·%s·%s | 1425 | %sVersion·%s·%s |
1426 | %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria. | 1426 | %sCopyright·(C)·2010-2012·Armin·Biere·JKU·Linz·Austria. |
1427 | %sAll·rights·reserved. | 1427 | %sAll·rights·reserved. |
1428 | Sat·Oct·13·14:05:26·CEST·2012 | 1428 | Sat·Oct·13·14:05:26·CEST·2012 |
1429 | %sreleased·%s | 1429 | %sreleased·%s |
1430 | 1430 | Wed·Jul·22·20:07:28·+14·2020 | |
1431 | %scompiled·%s | 1431 | %scompiled·%s |
1432 | Linux· | 1432 | Linux·i-capture-the-hostname·4.4.0-185-generic·aarch64 |
1433 | ala·b02aa1a04343558c4252b5f4a723be021964f652 | 1433 | ala·b02aa1a04343558c4252b5f4a723be021964f652 |
1434 | 1434 | 233e163424e54759acf4a6e0995de5435c50ae.debug | |
1435 | .shstrtab | 1435 | .shstrtab |
1436 | .note.ABI-tag | 1436 | .note.ABI-tag |
1437 | .note.gnu.build-id | 1437 | .note.gnu.build-id |
1438 | .gnu.hash | 1438 | .gnu.hash |
1439 | .gnu.version | 1439 | .gnu.version |
1440 | .gnu.version_r | 1440 | .gnu.version_r |
1441 | .rela.dyn | 1441 | .rela.dyn |
Offset 212, 16 lines modified | Offset 212, 16 lines modified | ||
212 | ··0x000932a0·2e300000·00000000·2d57202d·57616c6c·.0......-W·-Wall | 212 | ··0x000932a0·2e300000·00000000·2d57202d·57616c6c·.0......-W·-Wall |
213 | ··0x000932b0·202d5765·78747261·202d4f33·202d444e··-Wextra·-O3·-DN | 213 | ··0x000932b0·202d5765·78747261·202d4f33·202d444e··-Wextra·-O3·-DN |
214 | ··0x000932c0·44454255·47202d44·42544f52·5f555345·DEBUG·-DBTOR_USE | 214 | ··0x000932c0·44454255·47202d44·42544f52·5f555345·DEBUG·-DBTOR_USE |
215 | ··0x000932d0·5f4c494e·47454c49·4e470000·00000000·_LINGELING...... | 215 | ··0x000932d0·5f4c494e·47454c49·4e470000·00000000·_LINGELING...... |
216 | ··0x000932e0·53617420·4f637420·31332031·333a3539·Sat·Oct·13·13:59 | 216 | ··0x000932e0·53617420·4f637420·31332031·333a3539·Sat·Oct·13·13:59 |
217 | ··0x000932f0·3a303920·43455354·20323031·32000000·:09·CEST·2012... | 217 | ··0x000932f0·3a303920·43455354·20323031·32000000·:09·CEST·2012... |
218 | ··0x00093300·72656c65·61736564·2025730a·00000000·released·%s..... | 218 | ··0x00093300·72656c65·61736564·2025730a·00000000·released·%s..... |
219 | ··0x00093310·5 | 219 | ··0x00093310·57656420·4a756c20·32322032·303a3037·Wed·Jul·22·20:07 |
220 | ··0x00093320·3a333 | 220 | ··0x00093320·3a333320·2b313420·32303230·00000000·:33·+14·2020.... |
221 | ··0x00093330·636f6d70·696c6564·2025730a·00000000·compiled·%s..... | 221 | ··0x00093330·636f6d70·696c6564·2025730a·00000000·compiled·%s..... |
222 | ··0x00093340·696e6372·656d656e·74616c20·696e7465·incremental·inte | 222 | ··0x00093340·696e6372·656d656e·74616c20·696e7465·incremental·inte |
223 | ··0x00093350·7276616c·2077696e·646f7720·6f662025·rval·window·of·% | 223 | ··0x00093350·7276616c·2077696e·646f7720·6f662025·rval·window·of·% |
224 | ··0x00093360·640a0000·00000000·73657474·696e6720·d.......setting· | 224 | ··0x00093360·640a0000·00000000·73657474·696e6720·d.......setting· |
225 | ··0x00093370·7369676e·616c2068·616e646c·6572730a·signal·handlers. | 225 | ··0x00093370·7369676e·616c2068·616e646c·6572730a·signal·handlers. |
226 | ··0x00093380·00000000·00000000·73657474·696e6720·........setting· | 226 | ··0x00093380·00000000·00000000·73657474·696e6720·........setting· |
227 | ··0x00093390·74696d65·206c696d·69742074·6f202564·time·limit·to·%d | 227 | ··0x00093390·74696d65·206c696d·69742074·6f202564·time·limit·to·%d |
Offset 3240, 18 lines modified | Offset 3240, 18 lines modified | ||
3240 | ··0x0009efe0·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK | 3240 | ··0x0009efe0·32204172·6d696e20·42696572·65204a4b·2·Armin·Biere·JK |
3241 | ··0x0009eff0·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria.. | 3241 | ··0x0009eff0·55204c69·6e7a2041·75737472·69612e0a·U·Linz·Austria.. |
3242 | ··0x0009f000·00000000·00000000·2573416c·6c207269·........%sAll·ri | 3242 | ··0x0009f000·00000000·00000000·2573416c·6c207269·........%sAll·ri |
3243 | ··0x0009f010·67687473·20726573·65727665·642e0a00·ghts·reserved... | 3243 | ··0x0009f010·67687473·20726573·65727665·642e0a00·ghts·reserved... |
3244 | ··0x0009f020·53617420·4f637420·31332031·343a3035·Sat·Oct·13·14:05 | 3244 | ··0x0009f020·53617420·4f637420·31332031·343a3035·Sat·Oct·13·14:05 |
3245 | ··0x0009f030·3a323620·43455354·20323031·32000000·:26·CEST·2012... | 3245 | ··0x0009f030·3a323620·43455354·20323031·32000000·:26·CEST·2012... |
3246 | ··0x0009f040·25737265·6c656173·65642025·730a0000·%sreleased·%s... | 3246 | ··0x0009f040·25737265·6c656173·65642025·730a0000·%sreleased·%s... |
3247 | ··0x0009f050·5 | 3247 | ··0x0009f050·57656420·4a756c20·32322032·303a3037·Wed·Jul·22·20:07 |
3248 | ··0x0009f060·3a323 | 3248 | ··0x0009f060·3a323820·2b313420·32303230·00000000·:28·+14·2020.... |
3249 | ··0x0009f070·2573636f·6d70696c·65642025·730a0000·%scompiled·%s... | 3249 | ··0x0009f070·2573636f·6d70696c·65642025·730a0000·%scompiled·%s... |
3250 | ··0x0009f080·4c696e75·7820636f·64657468·696e6b2d·Linux·codethink- | ||
3251 | ··0x0009f0 | 3250 | ··0x0009f080·4c696e75·7820692d·63617074·7572652d·Linux·i-capture- |
3251 | ··0x0009f090·7468652d·686f7374·6e616d65·20342e34·the-hostname·4.4 | ||
3252 | ··0x0009f0a0·2e302d31·38352d67·656e6572·69632061·.0-185-generic·a | 3252 | ··0x0009f0a0·2e302d31·38352d67·656e6572·69632061·.0-185-generic·a |
3253 | ··0x0009f0b0·61726368·36340000·616c6120·62303261·arch64..ala·b02a | 3253 | ··0x0009f0b0·61726368·36340000·616c6120·62303261·arch64..ala·b02a |
3254 | ··0x0009f0c0·61316130·34333433·35353863·34323532·a1a04343558c4252 | 3254 | ··0x0009f0c0·61316130·34333433·35353863·34323532·a1a04343558c4252 |
3255 | ··0x0009f0d0·62356634·61373233·62653032·31393634·b5f4a723be021964 | 3255 | ··0x0009f0d0·62356634·61373233·62653032·31393634·b5f4a723be021964 |
3256 | ··0x0009f0e0·66363532·00000000···················f652.... | 3256 | ··0x0009f0e0·66363532·00000000···················f652.... |
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·39346535·62646539·38653731·66343838·94e5bde98e71f488 | ||
3 | ··0x000000 | 2 | ··0x00000000·32333365·31363334·32346535·34373539·233e163424e54759 |
3 | ··0x00000010·61636634·61366530·39393564·65353433·acf4a6e0995de543 | ||
4 | ··0x00000020· | 4 | ··0x00000020·35633530·61652e64·65627567·00000000·5c50ae.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·390c7828····························9.x( |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2012-10-16·12:01:32.000000·debian-binary |
2 | -rw-r--r--···0········0········0······5 | 2 | -rw-r--r--···0········0········0······528·2012-10-16·12:01:32.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0····121 | 3 | -rw-r--r--···0········0········0····12184·2012-10-16·12:01:32.000000·data.tar.xz |
Offset 5, 8 lines modified | Offset 5, 8 lines modified | ||
5 | Architecture:·arm64 | 5 | Architecture:·arm64 |
6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> | 6 | Maintainer:·Michael·Tautschnig·<mt@debian.org> |
7 | Installed-Size:·60 | 7 | Installed-Size:·60 |
8 | Depends:·boolector·(=·1.5.118.6b56be4.121013-1) | 8 | Depends:·boolector·(=·1.5.118.6b56be4.121013-1) |
9 | Section:·debug | 9 | Section:·debug |
10 | Priority:·optional | 10 | Priority:·optional |
11 | Description:·debug·symbols·for·boolector | 11 | Description:·debug·symbols·for·boolector |
12 | Build-Ids:·c | 12 | Build-Ids:·c3233e163424e54759acf4a6e0995de5435c50ae |
Offset 1, 10 lines modified | Offset 1, 10 lines modified | ||
1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./ | 1 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./ |
2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/ | 2 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/ |
3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/ | 3 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/ |
4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/ | 4 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/ |
5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ | 5 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/ |
6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/c | 6 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/c3/ |
7 | -rw-r--r--···0·root·········(0)·root·········(0)····50952·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/c | 7 | -rw-r--r--···0·root·········(0)·root·········(0)····50952·2012-10-16·12:01:32.000000·./usr/lib/debug/.build-id/c3/233e163424e54759acf4a6e0995de5435c50ae.debug |
8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/ | 8 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/ |
9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/ | 9 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/ |
10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector | 10 | lrwxrwxrwx···0·root·········(0)·root·········(0)········0·2012-10-16·12:01:32.000000·./usr/share/doc/boolector-dbgsym·->·boolector |
Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | Displaying·notes·found·in:·.note.ABI-tag | 1 | Displaying·notes·found·in:·.note.ABI-tag |
2 | ··Owner·················Data·size» Description | 2 | ··Owner·················Data·size» Description |
3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0 | 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.7.0 |
4 | Displaying·notes·found·in:·.note.gnu.build-id | 4 | Displaying·notes·found·in:·.note.gnu.build-id |
5 | ··Owner·················Data·size» Description | 5 | ··Owner·················Data·size» Description |
6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·c | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·c3233e163424e54759acf4a6e0995de5435c50ae |