| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/extraction/ocaml.cmi |
| FileSize | 763 |
| MD5 | 3917A871F6DBC1EC3A10A4474DE7D881 |
| SHA-1 | 048027674D0076AD1C391928C3F758738DCF7E04 |
| SHA-256 | F7C6918E7F91D78F58CECC6A66D9A8F9D0C461F2CFF1BC1765F938E200570E58 |
| SSDEEP | 12:KAmEq789AMSKWNthie8Ws7yn+lJjSUjtxVAkmbvdEnR6H6iq6CNo+lEmSkc/YltG:bBqBMSKItZ8/ynh+txOH/q6CNo4/S+3G |
| TLSH | T1C20175161F119143EF1775F08388570F32619C55D80A6F43DB65146A0483CC3662BD67 |
| 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 |