| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/indfun_common.cmi |
| FileSize | 6446 |
| MD5 | 5085346CA7403509F6451C72368DF423 |
| SHA-1 | 0360EC04622299AA8B6A47CBA1311F82BDD3E532 |
| SHA-256 | CE91D157CDF04EE1998A6AA15D646687E2085C67A75A3B7629D220C5D32868A7 |
| SSDEEP | 192:NU7dlOrNaJKV//MPeMsV0ISS9sp9bfTrz7:sSrNawXP9AtTv7 |
| TLSH | T148D1CACD8608E4D956BDD99CD01EC05B622027BFC16B5C7B432E0DF52AA950DE322D8B |
| 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 |