| Key | Value |
|---|---|
| FileSize | 1261696 |
| MD5 | A2CAE537909DAE80F8D5A6DC626DF32E |
| 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 | 1.2.1-6 |
| SHA-1 | FF2A572E8F7E7D443BCE16F46CB0232DE7B166C2 |
| SHA-256 | 28044BBD301842F6899454F9D79FEE3CEAE74E6F998BDA5B9DDBFA3163B57E7E |
| 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/manual.pdf |
| FileSize | 1289935 |
| MD5 | E11C2C0A676A430CD045D264D0518986 |
| SHA-1 | BE4311E700439A517A8335D5CD05660F091D555D |
| SHA-256 | C0523EA496863B14308F9A9AAF687AE6E9A4E37FB15695FC64AF1D2208EB2156 |
| SSDEEP | 24576:bhUvO+xtsMslqbAdFyaw/VNq4zMORCQnxYIq7/kxzS4pF2PftQhk70cDh4z+QECh:bF+EMssUDyVN/YORFnuD/0pUfIk70ct0 |
| TLSH | T196552288F637C12CCD9581305F0826E1A2FA41F19A0C55B7746D4A99BB8CE84FF764BB |
| 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/changelog.Debian.gz |
| FileSize | 1290 |
| MD5 | 1830CF930AFA1B7FB600D02784E2BF70 |
| SHA-1 | 679EB2E98C89DD151AF386ABD360B22C9835C974 |
| SHA-256 | 02ECEB58786888BD5D80CE9456072415D3411C1828EF230C53C84D4542C866AC |
| SSDEEP | 24:X1g3StD0Gy6nnuk6Qob2/zWqK27DWcTWtuBR1vcq9JbNni+XE+FyDmPoE5QX:X1g3yDVHnukdoEzWS7Dqw5k0iWFyDmAf |
| TLSH | T124211A9C08FFB0EC9530D92DCC12E83021795945CB1F88329C8E3D4A46267087A2BB91 |