Result for 02CA1DB8DD5D6F54A741846FAB05B7221C4D8173

Query result

Key Value
FileName./usr/lib/ocaml/why3/coq/real/MinMax.vo
FileSize40352
MD56A5B41637B4F0BF449C2E66C13EBBF3A
SHA-102CA1DB8DD5D6F54A741846FAB05B7221C4D8173
SHA-2567F34C06C603E92606E60C2B3DE6BA301DEE68153BAEFBCFFC0293F62DC0C28BD
SSDEEP768:hW1VWh07GufDNCq1Dd7SAluvni00EJjQj37cTpxl/wsjnt+/w:hCwhLeDZDdpuapEJdlxl/wUn4/w
TLSHT1DA03F643E11157E119FACC309EB850C3A4468E47A36D1BA76638016DDB1F6DB2EF8793
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
FileSize740836
MD53E7C6D4F98038B17304535EF2535CC1F
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.
PackageMaintainerUbuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
PackageNamewhy3-coq
PackageSectionmath
PackageVersion1.3.3-1build1
SHA-104AC0BD933AD806DFAD30B1A4E455A2909BDA24D
SHA-2569C194C7AB13133A7160B77D304786B6593762FDD74A06B87C0728B32BA0A2B1F