| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/ExponentialLaws/Law1.vo |
| FileSize | 26300 |
| MD5 | 0DCBBBC1C9A10911D0F960A6AC7B9A2F |
| SHA-1 | 002B4E35E5531556E4CB27881E1A16EF36371F56 |
| SHA-256 | 01C1B5122B2532B529B73E9E9BCC8DDE25B15873B763C156E93B44F0B7222C57 |
| SSDEEP | 192:xfxuFMSuWAgmiWZKRqR0aD7dvgBalSbjUJ+Gl8CmCGTPSBGBNBdP3UXcO5tCZ0i:xfxsV6DZdnpRlSbjUQGl8LBNrP3yCZ/ |
| TLSH | T194C2858EF45FD0B2EBC625B1D7C64646A668124B49730E56292D874C4ACB2CD33CBBC7 |
| 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 | 14086640 |
| MD5 | 6AB5FC6698A8DD1113C0D33695765943 |
| PackageDescription | Coq library for homotopy type theory This library is a formalization of homotopy type theory for Coq, where propositional equality is interpreted as homotopy and type isomorphism as homotopy equivalence. . Coq is a proof assistant for higher-order logic. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-hott |
| PackageSection | ocaml |
| PackageVersion | 8.16-1+b1 |
| SHA-1 | E89BCC9EBEF78BE283CC4C3CBB28AB5C89465D24 |
| SHA-256 | 6DDAB7C93CB2250F6BF98FF66E2AA6DAB1AA386C2B5CFF8E5B4E961B537FD452 |