| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/vconv.cmi |
| FileSize | 1474 |
| MD5 | 70346D8985A4DB2D92A371D451661E86 |
| SHA-1 | 03551A2A4C31B7B12723BFE98AFF8B87D060D07C |
| SHA-256 | B6C416CBF0484B7B4F7EA1042EE0BC87A2B38D32E54AA3767965C33F125F7661 |
| SSDEEP | 24:d5MeWTE3eGf86xKRI/AuvSM8yjQyCe/OqAhce3JbZPqzjUA/q5z59TH1PM8lpPwY:Aet33R0ruvtQWFAhc0PP2+5FTlNtI18 |
| TLSH | T14531BBCD46D4A068127746FE8522D00F1375997FD4978D73613C06F54D2E45DD352707 |
| 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 |