| Key | Value |
|---|---|
| FileSize | 1241428 |
| MD5 | 09317855EE29ED27016F8C4297C793E1 |
| PackageDescription | PDF Documentation of the why3 verification platform This package contains the tutorial and reference manual of the why3 verification platform in PDF format. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | why3-doc-pdf |
| PackageSection | math |
| PackageVersion | 0.88.3-1ubuntu4 |
| SHA-1 | 957E810648B1B8EC358843537E87D94BD8349BBF |
| SHA-256 | C49647297E88A834AE3FF522175586A80BEF051FA5A5B1EFB512E78C7ED97DA6 |
| hashlookup:children-total | 4 |
| hashlookup:trust | 50 |
The searched file hash includes 4 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/doc-base/why3-manual-pdf |
| FileSize | 990 |
| MD5 | 48C5EAE4951D790B28DAC24A45AB868C |
| SHA-1 | 8471D468AA3BE7F28107501A3CBBD2CCE6B4BF3F |
| SHA-256 | 8317E81B1922A9FB8AC99E3E43607821E6DF1880574F2C1B8280678253012AC1 |
| SSDEEP | 24:XcNVg7DNzx+1uLb77oy+hMgWyA/0bJ7WuupSdall:+gVkkDougWyA/0bJhfdall |
| TLSH | T168112123B79F53A87AC34091519428801D3E9CB8382E78E67E4E4D1A975AE9CD37F734 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-doc-pdf/changelog.Debian.gz |
| FileSize | 1172 |
| MD5 | D6DB9453466C24C4DECF7568BA27D091 |
| SHA-1 | 633FF75D3A79B6F42AE08DE7CD7F7D9A2C608509 |
| SHA-256 | 9843C06F7F6B5DEA9082F27E59CA69AD88D53A4923B1BF1184EC727A4C7C82E7 |
| SSDEEP | 24:XsZVvlf7moZxVKfBaq4QrpDlTJb+5QoaVivOhvCwWIJg3Mzt+nBsuB9:X8RlfVVKv4QdBJSeV/hvCFIJrzEnBsuz |
| TLSH | T12A210AEE521A740360ED2C9FFC043C68919CCCB7647BB034A5468A63341CC2CC70D2D1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3/copyright |
| FileSize | 15226 |
| MD5 | 8D3D7E9924A9D4DCE82CECD046C04547 |
| SHA-1 | B59321E3B09B17863EA3E4D58F1968EF1AE3F6B1 |
| SHA-256 | BCB1F8C21144487D99B55C0734626C5719E06925A22849853BAEB694FCA5B97B |
| SSDEEP | 192:1TpkeAlN1bd2BgT6qu5uWEkQMs0oPIh0NTCo/NhGsHqMLvflOw:1TpkeAlN1bd2BgOq2uWEA0YmhlKCUw |
| TLSH | T13862107EBB45137317C611E2BB4F90CBE627D029366E8285604D805C6FA387503BB6AF |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-doc-pdf/manual.pdf |
| FileSize | 1262972 |
| MD5 | BBF3D468AF33C36442907160CB5E96E1 |
| SHA-1 | A4F0C44B91AB574C1A634DC3DA624155A83DAEC9 |
| SHA-256 | 3B570D40DEB4469B5394B5B9EB65588EE90D2BFF097DAB26463831E9D556E7F7 |
| SSDEEP | 24576:0m/P8Qq3bAcHhpacTE/8sH1wtRNkX0Nb1DeNjglOTf/zn0f5D3bBX:H/83nHblT8G5kX0NbYZcOTf/70fN3bBX |
| TLSH | T1A84523CDE66A9918C4219232FA8C19E2C5FE80E16F091177749C5AC07E8DF10FE55AFE |