| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/kernel/subtyping.cmi |
| FileSize | 1209 |
| MD5 | 27DB796942D5FD936F7155409D2985B3 |
| SHA-1 | 000A8082C55DCB74DB16EA5597C393421E396307 |
| SHA-256 | 0AB02B7E1D3E80912E140565F00BEEEBD02B9DCA4DC01925F63E7A1B233A2B3E |
| SSDEEP | 24:dRXnxxLGyUBvSM8yjQyCvB62IWsqAorYc/ZPqzjUA/q5z59+JH1K3EpFGRqBFEDi:73PVUBvtQnBTAoZxP2+5uxesO18 |
| TLSH | T1A621DACD4BD075BD0072C3FA5721800E62759CAAD86B4D73927843F7C81D4A5E253687 |
| 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 |