Result for 20B889CB13B6497118CD069415DB099993FB7364

Search result
Graph view
Parent (1)

Query result

Key Value
FileName./usr/lib/i386-linux-gnu/why3/coq/option/Option.vo
FileSize29451
MD52ACDB9E34777036ECA33FC6DBA9AF542
SHA-120B889CB13B6497118CD069415DB099993FB7364
SHA-256FEFFBD876A6DC7B69AD5883C45084163D0A47F29A94D9B1C2A356A4C63783219
SSDEEP384:4Gia/zebCOEi0MQcwF3hRqKKXkSQUzo5TYByjItT0QQy52XkFQdGSpDgTgf6RRd3:yabeNEcYRDKUakhbjlQj7Cd1aTgSgu
TLSHT120D2B602D511CBE115B5CE704A3860C4A4459E4793A96B6C263405AEFFFFEDB3DB025B
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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

Key Value
FileSize601900
MD5B7923836D6C625E5C1DFCDDC25931A86
PackageDescriptionCoq support for the why3 verification platform This package contains the compiled coq files that are necessary to use the coq proof assistant together with the why3 deductive verification platform.
PackageMaintainerDebian OCaml Maintainers <debian-ocaml-maint@lists.debian.org>
PackageNamewhy3-coq
PackageSectionmath
PackageVersion1.2.0-1
SHA-156E68CFA1170A4C004C5F7862334B5D524F0BA63
SHA-256F56257F8FABEB9F7EB04FFBE496FDEC6C79BA2B8D8D0BF17D72002CB2FAC93A5





metalookup is a service from miwakeru.com