| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_decl_mode.cmi |
| FileSize | 1919 |
| MD5 | 7795BC7CABDABDAFF1F9E32BD87A7320 |
| SHA-1 | 00CAF2DB07DCED4E93CBD3F4021673B952F62240 |
| SHA-256 | 4D1C8D430C41B30D369C88A152680A05BD6F161E41158D665157A927CC78FBF2 |
| SSDEEP | 48:0oiZGr6+Ewtxf74utGC/7TbfvUVH1wM40QBnFBCRPyfctF/K/FKhD18:0oiZwnLhtGUTbfvewN5BEzrT8 |
| TLSH | T11E4108CDC6E02C6E08B7E17A931081AE65F002F1872B48BBD77093D6993BC59E713302 |
| 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 | 5745580 |
| MD5 | 9C35663BF80F69CF0034EEEEB3E2BDCE |
| 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.pl4+dfsg-1 |
| SHA-1 | 0CFD7307D99DA0B34893FEBFA25F1A60F6873DCC |
| SHA-256 | A8FB92E135B7619D9148041D939299DAD3C348CBD98EFC052E98706FDFE1D56B |
| Key | Value |
|---|---|
| FileSize | 7551918 |
| MD5 | 07C7B851A02AD21CC71955FCD8F7CDD6 |
| 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.pl4+dfsg-1 |
| SHA-1 | 6F4D0C210DB07832BE349B395E27F2CDB73E03AB |
| SHA-256 | B63FFBA624B356445EB96D060587A57BBE1EA7CD9581564FD6D3661D9AD0F774 |
| Key | Value |
|---|---|
| FileSize | 5842704 |
| MD5 | 567299EDD9223109676002E6716BFE85 |
| 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.pl4+dfsg-1 |
| SHA-1 | 6430F40D0A450623F15D48A2FDF8FCC9DE93A3B3 |
| SHA-256 | 83771A6809941527FDD5BDC9B0172EF64E0CB0E35F462A42311AE1A0BF9A8522 |
| Key | Value |
|---|---|
| FileSize | 6650128 |
| MD5 | 33FF0B77E75D6B1E5258C7D2C369F9AB |
| 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.pl4+dfsg-1 |
| SHA-1 | 1EBA0FEBAF9A5CB560F827D6842EDA2B1BB86B1E |
| SHA-256 | 2D9DE53CA0837AB3E3478F065E13C133622BA48DFDBB34AAF7897EF3DD2DFE48 |