Key | Value |
---|---|
FileSize | 1228976 |
MD5 | 460FBF6C978726519D36B95F4B17F5A4 |
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 | 0.87.3-2 |
SHA-1 | 6907223E66B4F32F2E899BAB904B3B5FE82E96FD |
SHA-256 | 89775867E28DFEE739409B3D45561326DBD4FCB29FEF5A4B36D730CC7C58B89F |
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.Debian.gz |
FileSize | 1553 |
MD5 | D4DE945EC312642424AFF91EA1BC8C27 |
SHA-1 | 507460354BAAD766A538A29951E6BAF7412FF5A9 |
SHA-256 | 953682083AE3EBAF1F6779536A3D91E80CE32A7354ADCD69FC07CC2F30686243 |
SSDEEP | 24:XPkZDwjFYxxDGAVwnEXeA1vIHPm7CgVwEjSxWm8JvKvRvjGF2RVoS5WNdw+GuYs:XmDwmxX+EuEq5KSxgJvOLGDSEPgs |
TLSH | T15231295D5CB2084F39A0F7FD0C6DCA82B292ED0DA7D0A6AF4C163972C41469A80A58E0 |
Key | Value |
---|---|
FileName | ./usr/share/doc/why3-doc-pdf/manual.pdf |
FileSize | 1241618 |
MD5 | 19E623C63A65D54104853E0D7D8AD850 |
SHA-1 | 0C2F569CA4CD93C3F1F7C8F5E935984428DE1531 |
SHA-256 | 4429466D0EB11F07712DD2C246BBCA454BC52C670D9A458388088D4E78E060F8 |
SSDEEP | 24576:br/PcLqSbA+HWhQD3n4XaHwSv17aEt4a4ki0jqgM3Tfnan0dH3D/P:n/bSzHZDX4XcjBaEKtki0eR3TfnC0dHb |
TLSH | T1384523CDE23B8818D911D231EB0C59B2C2ED80E16E4A2277346C5B847E8DE45FE55AFD |
Key | Value |
---|---|
FileName | ./usr/share/doc/why3/changelog.gz |
FileSize | 7444 |
MD5 | 1A12A5AE29AE58565B54CEF5DCA9CCEA |
SHA-1 | 8C538202EB02EB0D023933FDD9146466F52F9523 |
SHA-256 | DC11A1578B80F12F06D8A077E458B2D77364DCF9DBEF207F778A09254D728798 |
SSDEEP | 192:RUavi9A3ORJgXBldKIee1mcwkI7HKPgfVy5z:Cavi9WC2XvEQ13wr71wz |
TLSH | T1DFE1BE50D0B32D724FE00F6619520D2B5D288C42FA91BCA2F28FEE4357E43AF1C06C46 |
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 |