Offset 1, 8 lines modified | Offset 1, 8 lines modified | ||
1 | ·4020820da29422e4e20469b7afc4c9d1·1015668·debug·optional·cvc4-dbgsym_1.8-3_i386.deb | ||
2 | ·961372611ade544d97270cba4d2cc206·82684·math·optional·cvc4_1.8-3_i386.deb | ||
3 | ·455d8276781a638a4f6de62e4f5a080c·195649016·debug·optional·libcvc4-7-dbgsym_1.8-3_i386.deb | ||
4 | ·3b323584042957dbfdeacc25293325ca·6703480·libs·optional·libcvc4-7_1.8-3_i386.deb | ||
5 | ·0cadd16358ced62044a5db28c6dd70ca·131180·libdevel·optional·libcvc4-dev_1.8-3_i386.deb | ||
6 | ·fb77106132e0c72c36a0993d714a6052·5324160·debug·optional·libcvc4parser7-dbgsym_1.8-3_i386.deb | ||
7 | · | 1 | ·e30543434e58ac410bf5bdccda2712bb·1015572·debug·optional·cvc4-dbgsym_1.8-3_i386.deb |
2 | ·504c52e90193b227e4efe03838ff6546·82696·math·optional·cvc4_1.8-3_i386.deb | ||
3 | ·4c85b9f42ed38c0af5fa53346473fd29·195649128·debug·optional·libcvc4-7-dbgsym_1.8-3_i386.deb | ||
4 | ·9c7e0006f4f87305da58cc05ccf1cef4·6702064·libs·optional·libcvc4-7_1.8-3_i386.deb | ||
5 | ·e0445b89d7206e74f2e206e4d1cb7098·131168·libdevel·optional·libcvc4-dev_1.8-3_i386.deb | ||
6 | ·98a2269672b60131570753aacd68e9f2·5323928·debug·optional·libcvc4parser7-dbgsym_1.8-3_i386.deb | ||
7 | ·9491b3e2f279dd5486c4be041c2eccb3·388392·libs·optional·libcvc4parser7_1.8-3_i386.deb |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····1480·2022-10-29·18:49:40.000000·control.tar.xz | 2 | -rw-r--r--···0········0········0·····1480·2022-10-29·18:49:40.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0····810 | 3 | -rw-r--r--···0········0········0····81024·2022-10-29·18:49:40.000000·data.tar.xz |
Offset 24, 8 lines modified | Offset 24, 8 lines modified | ||
24 | -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS | 24 | -rw-r--r--···0·root·········(0)·root·········(0)·····2085·2020-06-19·16:59:27.000000·./usr/share/doc/cvc4/THANKS |
25 | -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz | 25 | -rw-r--r--···0·root·········(0)·root·········(0)·····1043·2022-10-29·18:49:40.000000·./usr/share/doc/cvc4/changelog.Debian.gz |
26 | -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright | 26 | -rw-r--r--···0·root·········(0)·root·········(0)·····4452·2022-10-17·14:15:49.000000·./usr/share/doc/cvc4/copyright |
27 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/ | 27 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/ |
28 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/ | 28 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man1/ |
29 | -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz | 29 | -rw-r--r--···0·root·········(0)·root·········(0)·····2116·2022-10-29·18:49:40.000000·./usr/share/man/man1/cvc4.1.gz |
30 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/ | 30 | drwxr-xr-x···0·root·········(0)·root·········(0)········0·2022-10-29·18:49:40.000000·./usr/share/man/man5/ |
31 | -rw-r--r--···0·root·········(0)·root·········(0)······39 | 31 | -rw-r--r--···0·root·········(0)·root·········(0)······393·2022-10-29·18:49:40.000000·./usr/share/man/man5/cvc4.5.gz |
Offset 1, 12 lines modified | Offset 1, 12 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.2.0 | 3 | ··GNU··················0x00000010» NT_GNU_ABI_TAG·(ABI·version·tag)» ····OS:·Linux,·ABI:·3.2.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:·3 | 6 | ··GNU··················0x00000014» NT_GNU_BUILD_ID·(unique·build·ID·bitstring)» ····Build·ID:·3af4cfdff57e5a076932d2f938ab2e2711a5726d |
7 | Displaying·notes·found·in:·.note.gnu.gold-version | 7 | Displaying·notes·found·in:·.note.gnu.gold-version |
8 | ··Owner················Data·size·» Description | 8 | ··Owner················Data·size·» Description |
9 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 | 9 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 |
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·66626462·33653766·32623935·37396361·fbdb3e7f2b9579ca | ||
3 | ··0x000000 | 2 | ··0x00000000·66346366·64666635·37653561·30373639·f4cfdff57e5a0769 |
3 | ··0x00000010·33326432·66393338·61623265·32373131·32d2f938ab2e2711 | ||
4 | ··0x00000020· | 4 | ··0x00000020·61353732·36642e64·65627567·00000000·a5726d.debug.... |
5 | ··0x00000030· | 5 | ··0x00000030·0169964e····························.i.N |
Offset 1, 11 lines modified | Offset 1, 11 lines modified | ||
1 | .\"·Process·this·file·with | 1 | .\"·Process·this·file·with |
2 | .\"·groff·-man·-Tascii·cvc4.1 | 2 | .\"·groff·-man·-Tascii·cvc4.1 |
3 | .\" | 3 | .\" |
4 | .TH·CVC4·1·"2022-10- | 4 | .TH·CVC4·1·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"User·Manuals" |
5 | .SH·NAME | 5 | .SH·NAME |
6 | cvc4,·pcvc4·\-·an·automated·theorem·prover | 6 | cvc4,·pcvc4·\-·an·automated·theorem·prover |
7 | .SH·SYNOPSIS | 7 | .SH·SYNOPSIS |
8 | .B·cvc4·[ | 8 | .B·cvc4·[ |
9 | .I·options | 9 | .I·options |
10 | .B·]·[ | 10 | .B·]·[ |
11 | .I·file | 11 | .I·file |
Offset 1, 11 lines modified | Offset 1, 11 lines modified | ||
1 | .\"·Process·this·file·with | 1 | .\"·Process·this·file·with |
2 | .\"·groff·-man·-Tascii·cvc4.5 | 2 | .\"·groff·-man·-Tascii·cvc4.5 |
3 | .\" | 3 | .\" |
4 | .TH·CVC4·5·"2022-10- | 4 | .TH·CVC4·5·"2022-10-30"·"CVC4·release·CVC4_RELEASE_STRING"·"Languages·documentation" |
5 | .SH·NAME | 5 | .SH·NAME |
6 | cvc4·\-·the·native·input·language·for·CVC4 | 6 | cvc4·\-·the·native·input·language·for·CVC4 |
7 | .SH·DESCRIPTION | 7 | .SH·DESCRIPTION |
8 | .B·cvc4 | 8 | .B·cvc4 |
9 | is·an·automated·theorem·prover·for·first-order·formulas·with·respect | 9 | is·an·automated·theorem·prover·for·first-order·formulas·with·respect |
10 | to·background·theories·of·interest. | 10 | to·background·theories·of·interest. |
Offset 1, 3 lines modified | Offset 1, 3 lines modified | ||
1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary | 1 | -rw-r--r--···0········0········0········4·2022-10-29·18:49:40.000000·debian-binary |
2 | -rw-r--r--···0········0········0·····12 | 2 | -rw-r--r--···0········0········0·····1208·2022-10-29·18:49:40.000000·control.tar.xz |
3 | -rw-r--r--···0········0········0··670 | 3 | -rw-r--r--···0········0········0··6700664·2022-10-29·18:49:40.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:·b3f053afded982a5658e0564f51604cbc175a9b9 |
4 | Displaying·notes·found·in:·.note.gnu.gold-version | 4 | Displaying·notes·found·in:·.note.gnu.gold-version |
5 | ··Owner················Data·size·» Description | 5 | ··Owner················Data·size·» Description |
6 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 | 6 | ··GNU··················0x00000009» NT_GNU_GOLD_VERSION·(gold·version)» ····Version:·gold·1.16 |