Result for 01A7C6475DAEC0A310DF3401C7EF56C0BA7C49AB

Query result

Key Value
FileName./usr/share/doc/why3-examples/examples/logic/genealogy/genealogy_Genealogy_Sibling_is_brother_or_sister_1.xml
FileSize8405
MD5F52D22B3EED54032B001D6EDA24863E5
SHA-101A7C6475DAEC0A310DF3401C7EF56C0BA7C49AB
SHA-256A00D7BE6A5E26220F2512BA1FE5F56033FDBF0E5E5A609DCEAEC9BCF00D6233E
SSDEEP48:a8mfjii70W9/Q/LB14/F/LBQjD2/0Bt/0BBBw8HE0/M1YgBBw84E0/PQYrBBw8rC:a8siiS4k42jibgYlznLfkz48C8cPC0Y
TLSHT1F60295D0E94A3D76A94D4FFE7DB43161551690B4F94CA0EB00FEB3E490B6A0F6292B13
hashlookup:parent-total8
hashlookup:trust90

Network graph view

Parents (Total: 8)

The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
FileSize2460588
MD5F92AB411531739A2F6001EB96DD7D7FE
PackageDescriptionExamples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamewhy3-examples
PackageSectionmath
PackageVersion1.2.1-6
SHA-18E2C6A084BFEDB7A42D8CACB6F773DFEAAB7854F
SHA-2566581C46634D583CAD0BAA682711E9557E7815CA79E5648D69365A5712A40504F
Key Value
FileSize3477352
MD5D3ED7D2C7C411CFF78FC53706E2F6F4E
PackageDescriptionExamples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamewhy3-examples
PackageSectionmath
PackageVersion1.3.3-1build5
SHA-1A80D18BF055B2774EEF9CBF1471C4DEA17B4CF00
SHA-25693F05C8061561CE5F11CF415579AAAA7FF0B90B11E4107AF7E7BAB4B4FAC80E4
Key Value
FileSize3477596
MD5C6FAAE3CCA8F5049BBA2D7A91A187F9A
PackageDescriptionExamples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamewhy3-examples
PackageSectionmath
PackageVersion1.3.3-1build1
SHA-108B584769D2014E3B6101EC80FEE6413846056DD
SHA-256E16FA216CA1DF1E16EA77F47813F7A4E9FBFAADE5928BE52FB2342644854180A
Key Value
FileSize2473392
MD55D1AB71F88F51721AB5F23E9127D6BB7
PackageDescriptionExamples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3-examples
PackageSectionmath
PackageVersion1.2.0-1
SHA-1C815BF8D00BACEE57596CF44720EA850F7B620D5
SHA-256CC41412DBEAD8F5701BEA4DD7B843C97ADBFC64A59696F922461FED0E59CA114
Key Value
MD57BA319BF08DD7D718298591ABF9D3611
PackageArchnoarch
PackageDescriptionExample source code with why3 annotations.
PackageMaintainerFedora Project
PackageNamewhy3-examples
PackageRelease1.fc32
PackageVersion1.3.1
SHA-12F218C38D46C075E53DD349A1AA5D7D500AD0763
SHA-256E9EB1B86E71F10873E379EDAE4D6CD9DFA376299D16B9E153025AEF500A447B8
Key Value
MD539F566E1439FF4975489C6526256D884
PackageArchnoarch
PackageDescriptionExample source code with why3 annotations.
PackageMaintainerFedora Project
PackageNamewhy3-examples
PackageRelease7.fc34
PackageVersion1.3.3
SHA-16B7FBF4AC8B58E1E7261701053E7D536145786B8
SHA-256E2FC46EDD4A1BB8253B3ECA8260E345DF48B88727F56255A414E8B12B2D141F9
Key Value
FileSize3493616
MD59EB8848CECEE897286D677B088B7AAFA
PackageDescriptionExamples for the why3 verification platform This package contains examples, both of program verification tasks and pure logical verification tasks, for the why3 software verification platform.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3-examples
PackageSectionmath
PackageVersion1.3.3-1
SHA-1DAB3E1C2839B0820E45DB20D140A7C6D7F376E18
SHA-2560F35AA2AF55E7E6D8C0532CE9AFCBFE83E13ADA18C5A711E56A4313B461A476F
Key Value
MD5B8AA714A53BFC3576C1E46264928A059
PackageArchnoarch
PackageDescriptionExample source code with why3 annotations.
PackageMaintainerFedora Project
PackageNamewhy3-examples
PackageRelease1.fc33
PackageVersion1.3.3
SHA-1DB6401A6EE53FBDB5C9D5C21178F117E6C61C499
SHA-256B4C62AAB5BDD2B4293E02CF0458A1D390E41AA60192EE99703F2176BE6D0DF65