| Key | Value |
|---|---|
| FileSize | 1273924 |
| MD5 | 8B872228A0F0254FCB1407EFF312F443 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | why3-doc-pdf |
| PackageSection | math |
| PackageVersion | 1.2.0-1 |
| SHA-1 | 9AB6D6C73ED688B599AB132604A9330F842839EC |
| SHA-256 | 2CD00257373413E96E8B9E4DF4294B68543EE1E52B283C986E3CFF31EEAB2DCE |
| hashlookup:children-total | 5 |
| hashlookup:trust | 50 |
The searched file hash includes 5 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/changelog.gz |
| FileSize | 10642 |
| MD5 | 53F78854B5161BC12D623D27BDFE1C79 |
| SHA-1 | 939FD6F519336DAE9390B79D64F1E1A3CC7D2152 |
| SHA-256 | BD59F21EE23A933EBD43B7B21324E74FB30CA2CC2CC1579ED4032B7C940ED597 |
| SSDEEP | 192:jId1D99b55rhx0NnNI9ACEmmMyxhVVsejLcp+Qss7TKaiLA5skLM5mRUbP4EmLy5:j2LZg1Crm/xWes3sITILxLPbPT8y5 |
| TLSH | T1F922B047B3383296BFB916E6DE49C1282C3718D3B7B494063A419C648673914FA7AFC3 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3/copyright |
| FileSize | 21606 |
| MD5 | F15BEB0F71B88091633DA6B0C18FC481 |
| SHA-1 | 4EE214EF248D3A4896361FB1B78A08EF921A6551 |
| SHA-256 | 0547686978C6F1FF50BCE97EA405565EFAC67E33E769668D1DCA71F1FAD5D7C6 |
| SSDEEP | 384:OTpkeAlN1bd2BFOYzSkC5KvJKok/Zxvcf7LnQudvBRXLnDrv4k47W5:OTpVAlzTbtnvuzzR7Drhr5 |
| TLSH | T164A2756EB709037316C301A6AA4B64DBE32EC03A367B9564345CC0581F67E3443FA6EE |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3-doc-pdf/manual.pdf |
| FileSize | 1289659 |
| MD5 | E2FFF8CB7925C8C3DFA65E5BA51D70E5 |
| SHA-1 | 9436EEE13ABFFEA65718EE61D0FC7774FC54E5A7 |
| SHA-256 | 83A169E557B97DD38215EAD1CD2711B5578D18E3DA9E247954A1A448CA2C8D92 |
| SSDEEP | 24576:F5kUvO+9t1MslqbAXBG1GXZyqKiRCQnxI7q4BREkzqV12PFtH6bkJ0uvDezwiEC8:Fw+BMssqG1+yviRFnepE2qVkFFqkJ0ul |
| TLSH | T125552298FA3BC12CCD5885319F4919E162FA40F19A4C55B734AC4E48BB8CD84FF764BA |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/why3/changelog.Debian.gz |
| FileSize | 3150 |
| MD5 | 7722920CE38B2CDD11EDD462BC8DCB58 |
| SHA-1 | 188871DE48ED8E6735992BB0550B8D5CDF1956F6 |
| SHA-256 | BB551C941965F1F860D8D2E975108FA5EE612B1527F2D755E6DE8FE7BB6DB0E9 |
| SSDEEP | 96:rEWTxUanx/tvtpbpyYhtY6UczZHh2FUk5f:wWTaanZtpyGY6UCM5h |
| TLSH | T1CB514D6440CC5DAA7104CDD6EABAD8BC91746F163915E06C3FB5C8D4A65BF992000DB4 |