| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_prim.cmi |
| FileSize | 2231 |
| MD5 | DE469CE2A2AF30402A75205839F03AA7 |
| SHA-1 | 01EA3E5C1A26CEC8D62F62ACF8EC820A8758174A |
| SHA-256 | D9EFA95C7C28289B95BF954157593E7FBBDD28672666B3E827F7EFA244E308BE |
| SSDEEP | 48:1+SjjkY/+Ewtc4f74XC/Zc0lfvUVH1wM40QynFieCR7yfcc9TK/FKhD18:1++jWpQ6lfvewNC5EX2PT8 |
| TLSH | T18C41F7CA5AA4586D0996C5799A02809F06F01AB5C33F4CBBD3A80BE9493AE5C8753203 |
| 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 |