| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_tactic.cmi |
| FileSize | 4995 |
| MD5 | 53EDB41DFB0E6543DEC8B253DACAA5AF |
| SHA-1 | 03B515BA7F46B57916B24D7358E331BE70701161 |
| SHA-256 | 29F8F0EFB90AFA6341BDEA208E5CC03E63F61FA799A006A91C2B09A76414B7D1 |
| SSDEEP | 96:0+gPFHgwdnp3JFb661n5AO5L0LdfPTMqtgIcphtGUTbfvewN5BEzY0T8:uCQp3JJrEO5+tPTHgIcLFbfWabEzm |
| TLSH | T193A195CD914D58F902BED4ADC016804B1360C3FFE17B6C7B922C49E5A439D5CE362A87 |
| 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 |