| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/nbtermdn.cmi |
| FileSize | 3095 |
| MD5 | 951C186BDF7DD8A040A038FF0007C3C9 |
| SHA-1 | 02468079306DE770FB8DF6F0445DAECA8EFE8890 |
| SHA-256 | D15B1AD2B34DDFE6DF3E6463C0FAAB56C1A345310CAE5D0702A2B998206A5D0E |
| SSDEEP | 96:MboHcEqI+9bWgjFYN5qGqv7tDOh1S+n0/Fkq8:mSkp9bWgO1qD4G+qaD |
| TLSH | T1205184DD96185CCB447BDAADC622805F520147BEC0FB5C3B927D8AEA983E94CC7415CB |
| 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 |