| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/toplevel.cmi |
| FileSize | 2411 |
| MD5 | 8A8ADE582907E5039E2F4894FEA8092E |
| SHA-1 | 011B28E4F1C1258E9AA2C08A4AC3C7E2B8AD29E2 |
| SHA-256 | ECD20CFF9A5F8D81FA8BF4D6F3FA61C5EA1A6E708C3BD0B5D574BA612F84A348 |
| SSDEEP | 48:U/v3UzrqRbe8+Ewtxf74utGC/7TbfvUVH1wM40QBnFBCRPyfccJeK/FKhD18:U/vkz+le5LhtGUTbfvewN5BEzRT8 |
| TLSH | T10B41E8DE95541C6D04FAD16D531AC04F22F012BB92770C7BD23016D7A97E89DE723243 |
| 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 |