| Key | Value |
|---|---|
| FileSize | 1041216 |
| MD5 | 17D2153F5A3D52A173F2DF9E9D38FC23 |
| 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.3.3-1build1 |
| SHA-1 | 062F137C7163DF2D37CCF914994FC8E735E0C302 |
| SHA-256 | D453AD03DAF4069902CFA3C03AEFB70E69CA044F2BC1D0881AA62F9C5DCE5923 |
| 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/why3-doc-pdf/changelog.Debian.gz |
| FileSize | 1707 |
| MD5 | 1C8E4C3DA1A199831BB749C704E21E51 |
| SHA-1 | 680178E80CB89FFCDB01B5A4F079DECA1F8B0D27 |
| SHA-256 | BA28FDA67E975026D8A3107B30E94BD4D362826891E89D5956F2E179E5EB3276 |
| SSDEEP | 24:XI0WcAZuGTdP3NH8npPhNaOakuvSo/xFpcUZsTuUiPqeCz/qB0aRAWuBRjJ/5n+x:XI/ZpYpNiPvrZFpYji+T2TApB9+5FwDE |
| TLSH | T16D31FA7FE4087B94E9B3D19EED5A0689EB9260C6C74E115106169B15081CE4D0F8C8A9 |
| 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 | 1070856 |
| MD5 | 006809EFC71233FE43E5B3B7C6F3CC07 |
| SHA-1 | 384E8C1502BC03191A3C8CB03C2ECDC8FA355CDE |
| SHA-256 | FCEEFD600550F6E7C982AC8AC65526406EA7A317E2CF622B202E5E96B62AC6A6 |
| SSDEEP | 24576:qtNueph9ha9GPfY73FcTxFyFqVfbuPGoIzfF9:0Qe5c9GorFcWebuPGoIzb |
| TLSH | T1A73512D95B3AF89DCD4A8530B70C5BE261E840E28D1852B3352D8B9DBB4CC41FF651BA |
| 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 |