| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/dp/dp.cmi |
| FileSize | 2424 |
| MD5 | 5141E8FC26747B468308E223F1CE71A5 |
| SHA-1 | 037A299B23591B0EBA946AB8D170D3512A3C094A |
| SHA-256 | FEF6C7178AB4B4018869E3A74B48991DA8FB3DA9949E8997810089285F90E3E6 |
| SSDEEP | 48:UhSTFEI6VJj1SKwV0fCFwtnf74utGCVyaTbfvw60Q8nF8RPyfctF/K/TD18:AmFEI6VJ3wdahtGyTbfvPoSzc8 |
| TLSH | T10641A5CD9140989A057EF16DC626804F625146BFD13F4CB7C17C11FAA83EC6CE752A87 |
| 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 |