| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/subtac/subtac_pretyping.cmi |
| FileSize | 3649 |
| MD5 | 73E7BDC6DEA43535D041415B43067CE3 |
| SHA-1 | 0544590415120469FE57DF09CF554AFED6866A7B |
| SHA-256 | 7D2422B672BCF1C88C8E5C709266F4D28691CFC194A111D58DABDBA0654ED54A |
| SSDEEP | 96:+NVUZuVSOoLlKJ8f0HtG/TbfvZOynDN562EBXFT8:bZuVSOosi8Wbfkyx562EBS |
| TLSH | T10271B3CC84409AEC00B2E69DD222814F11A04BFCD57F5CB7937C56F8AD2558CD362AC7 |
| 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 | 6686142 |
| MD5 | 89AD7C8A27B9423E99D39F2EFEAE84AA |
| 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-2 |
| SHA-1 | 4FE023377589D04AB3FA00C1F77AAC7D903F02E3 |
| SHA-256 | A49FBED167E7B2E6EAF518DE7B7E23E198E7161F6DD562AA06925EA3CD929981 |
| Key | Value |
|---|---|
| FileSize | 5874802 |
| MD5 | F7596F24B1DCB95FE6ADD973FC8B7107 |
| 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-2 |
| SHA-1 | F1C40E445FB0DDF6758BD4A1F7FBA8F4E7ACE56F |
| SHA-256 | B4AD0E06AB8997BB473BFF496EC753228F59709079DB952C50E87AAE74A46855 |
| Key | Value |
|---|---|
| FileSize | 7559606 |
| MD5 | FD6292EFB6E450AE0785D6487D884A49 |
| 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-2 |
| SHA-1 | 1A167003C6744D76573164D4099F2B329E73E033 |
| SHA-256 | 39C52D7138EDA563A1E549493F0AAE9BF02E19B47C49DB010C38FEEAFCDADEFC |
| Key | Value |
|---|---|
| FileSize | 5748142 |
| MD5 | 408693D203F1F5641026B61AF50D80EA |
| 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-2 |
| SHA-1 | 58D1A327D291F9BB90BAABC913FC5521729131D2 |
| SHA-256 | C6FEEDAD5463AC9E1A30EC55AEBA6AD2F987821B0CA69A508A519CAB9B4B2556 |