| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq/user-contrib/HoTT/Categories/Functor/Composition/Core.vo |
| FileSize | 8112 |
| MD5 | 8BC26627EC6856A38AF91FCD330D0C9B |
| SHA-1 | 0115B8C758D53F36CB5CDCD31B2E84EF4DDC10A4 |
| SHA-256 | 90E39F0AFA6C6414BB2BC50E6FA3F8E4E8EF5FA33594092BC4942ECDC5AEFCFA |
| SSDEEP | 48:0GNnzs1Te+aeUvxLvph4GZ6VqdYybfNr8W6IQm+La5O57VNXRqUbXGicEix/biCb:08Ya51ZXfZOxm+Lae7XwmWfx/jBI+h1V |
| TLSH | T17AF10F4FB0C7E8F1D38D2DB2E79AC244D668D3CE6AA71646566483DC4A8F14E2307783 |
| 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 | 14068916 |
| MD5 | 11AB5B454D404FD9B63CD1DA5F2BFA3F |
| 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-2+b1 |
| SHA-1 | C1B7762DED5E4803AB7F577E127E7DF50C158E12 |
| SHA-256 | 17777293B1954D1BA23FEE2F9BE972AB304C039EC0EE0A36CEA5B344D9DABEC5 |