| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/class.cmi |
| FileSize | 2819 |
| MD5 | 7B82A14221462837426D6E53BF61E5DB |
| SHA-1 | 004CEDDAA84E129A6493F4DD8A51E9948363ABD9 |
| SHA-256 | 66E828532D9FC280AF3C74B92DD0784DB59D4631FAABE9D20006369A69EB9441 |
| SSDEEP | 48:dF58jLgcR4CAV1bK97yBfjrd5QKLHcIYTvf6fs43C7Uc0lfvhs0QrntFR7xQcXop:dFebqCAV1dxrrQKq85lfvS35X/8 |
| TLSH | T15B51ABCE8D8099E81565C1EC9C01404B23A15ABAC27F8C3BD37C15FD993A59DE312EC3 |
| hashlookup:parent-total | 4 |
| hashlookup:trust | 70 |
The searched file hash is included in 4 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 5698876 |
| MD5 | C32D160BBABEE2328F1E977142FABA1E |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.3.pl2+dfsg-1build1 |
| SHA-1 | EA519337C663750BCA5A1433A7F69F23D19A45A0 |
| SHA-256 | ADF9BF88AD5A8CAD455F40C9A441C3636F04A63100022791E9C59C34D1B6C21D |
| Key | Value |
|---|---|
| FileSize | 5873544 |
| MD5 | 1027F9231E9A29C40E2AA072C9814278 |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.3.pl2+dfsg-1build1 |
| SHA-1 | 63D6EC4B34AF4055FA6DACF30036D1D46E1EDEC0 |
| SHA-256 | B20D8F46673973062279878F89161AD794DE67C26554B9878B9000A657B852B9 |
| Key | Value |
|---|---|
| FileSize | 7528276 |
| MD5 | 97CC0F3D6A72B86BC1CDAC4FD78C82AA |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.3.pl2+dfsg-1build1 |
| SHA-1 | 3E6DBC59E8BC27E11CE8634FF5C05E8BA91599C8 |
| SHA-256 | 4B90DF1E7ACFBADEDBB96E98D7CA999A52CAC3C6B0F69C9750A7E350712522D8 |
| Key | Value |
|---|---|
| FileSize | 6637720 |
| MD5 | 3BB0635D985107A0C44F06841433DA0D |
| PackageDescription | development libraries and tools for Coq Coq is a proof assistant for higher-order logic, which allows the development of computer programs consistent with their formal specification. It is developed using Objective Caml and Camlp5. . This package provides coqmktop, and libraries needed to develop OCaml-side extensions to Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.3.pl2+dfsg-1build1 |
| SHA-1 | CED9B0342719E3A8279ED15D99AB8999BF428C41 |
| SHA-256 | 5F83E1C1F6563299E470CF0E393EC189001D6A2AC28D79658AC94E02582BF4C4 |