| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/g_constr.cmi |
| FileSize | 4720 |
| MD5 | 5FD46FD1DF8C51D69694C25D9772F5A5 |
| SHA-1 | 05E9A74EBFFF8EB7DCAF7326ED0D39EA1AB20B1F |
| SHA-256 | 86C83AA31CA9835FE10A63A49E068960794A07CD4DA85ADD080149D37C0EDAB7 |
| SSDEEP | 96:g3vjin7dDHmwyel0o7rfiyIjn4jiCVM+tAjQ5UU/JwU2/2RIwmZn/hgr8:+jin7RGqqoijoVM+Ojkhx2eqao |
| TLSH | T18EA15ECE858CA8D256FAA49DC260804751A18B7FE02B9C77462D09F4E82985DD339FD7 |
| 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 | 5902968 |
| MD5 | BBB496D8BB92340B6459C899C4D9D988 |
| 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.2.pl2+dfsg-1ubuntu1 |
| SHA-1 | 1A80148498911CDAC118692100F8D606948A7DD2 |
| SHA-256 | C76D4213E3868759B8A6418E90DB0831844D43CA900605E9E21340D3748BD73F |
| Key | Value |
|---|---|
| FileSize | 6024488 |
| MD5 | 73455C447CA8BD6B7DA82A177FA5C5C9 |
| 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.2.pl2+dfsg-1ubuntu1 |
| SHA-1 | 38811B16BCC03C253CB98667AC44BC2F3174DFD4 |
| SHA-256 | ED40FCA7D1BECB78EDB2952DE1C72AD6DCDA602184C6A72435B853F4BDF433D5 |
| Key | Value |
|---|---|
| FileSize | 6983036 |
| MD5 | 1FB6B04D4E69425841EDF0A3047FC70A |
| 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.2.pl2+dfsg-1ubuntu1 |
| SHA-1 | AAD56F7B7363FE3545D6DDF5F679A96CD75C876B |
| SHA-256 | 9E13344A97F58746C472F5CA7CDFED1DF387E94CF6917885570715FDB0F452E7 |
| Key | Value |
|---|---|
| FileSize | 1930936 |
| MD5 | AD9B0B8ACB9F99E45D585366D4D5C51F |
| 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.2.pl2+dfsg-1ubuntu1 |
| SHA-1 | B7FB82914A3BD60324D82ACC3327259EA7A343F1 |
| SHA-256 | 5095F7BA83D3D057A94ABA155BC6BCD61DB889BCAC46907E0C2D623400B98B03 |