| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/ExtLib/Structures/FunctorLaws.vo |
| FileSize | 7407 |
| MD5 | 0B5ABB508BEE6A8F77098EFCF8A1EF05 |
| SHA-1 | 019360872EA5AD92ABFFBE031B72A01CBC670A6B |
| SHA-256 | 878D2DE56EEE1477F3472F7FF099BD6BC74B191E434F0A028C42027CDBF0562C |
| SSDEEP | 96:4SD11apy/RlBHfDsGsBhKVpbnrp7r3AMPfjvQjaph7XcdVduR3TmN+dsI3N2BShv:L1apy/RjH70ahrw8j8aphAdzuR3TmcF |
| TLSH | T1EAE1738C56104B0FC47E8A37E675628042E96EC747167F0C1178921C4FE6A2F6BBB39B |
| hashlookup:parent-total | 1 |
| hashlookup:trust | 55 |
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 |
|---|---|
| FileSize | 757252 |
| MD5 | 7ADEA2364CEC3CE26FE029C548D208E9 |
| PackageDescription | Collection of theories and plugins for Coq This package provides a collection of theories and plugins that may be useful in other Coq developments. . Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ext-lib |
| PackageSection | ocaml |
| PackageVersion | 0.11.7-1+b2 |
| SHA-1 | A3145BC5451E2524CE68776BC92B85AE13FEC360 |
| SHA-256 | C1B0E1F77C6A38322D168C58B45904D2FFFCD3692AB3DFA68E38F7B6F7500A88 |