| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/xml/cic2Xml.cmi |
| FileSize | 3123 |
| MD5 | 8EFED68EFF586C5F42AE7C7BD7AC9C00 |
| SHA-1 | 02951E2EAE04F0979F475A355185B0F2CEA6F6F0 |
| SHA-256 | 1459443DF0ABBF540FD7AAED13F5180A1A42C55297F4A5F7E25B2C931C510698 |
| SSDEEP | 96:/rVk0uHtGPXvmJiabfvqnD26bByb5OoMT8:/+baGPbfiy6ggG |
| TLSH | T182510ACADA10A92E14A7E24A8612006D10D506D5CAAF487BD3B012F5D92E9AAFA93353 |
| 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 |