| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Profunctor/Notations.vo |
| FileSize | 5335 |
| MD5 | 79BBB3F39B530A89005BB5FB99BA0B3C |
| SHA-1 | 010CA87C073411FE589B5E68A0E8231363EC5E4F |
| SHA-256 | CA695C3912CA81A6639D805EBF7522948B9A6242A0A03FC4EC2F761A08945D9C |
| SSDEEP | 48:oNhrIJ/rJgDEazd1W16BwnRU8vmgK/PScr15FkWXzd+tlSXwD20Jr2J0pYfhdYQ5:dJKXWfbmWOFkWDcGyAJVgDfgBvhpV |
| TLSH | T1EFB130CEB64D64F2A3E474F1E6822689A07E21830C774D90660CDB9C4A857CD638FF5B |
| 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 | 14074532 |
| MD5 | 1B01052782FB64E52D9B179DAB4C8BDC |
| 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+b2 |
| SHA-1 | CFD87497682DD0A5338FBC3B7D3939662B89509C |
| SHA-256 | 3B78F77B7A76A51DDDD25DFDD5A0E57A1FE420E1F60E48EDD5E5FDCC40ABD591 |