| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/contrib/subtac/subtac_cases.cmi |
| FileSize | 1410 |
| MD5 | 357AB4D237154DF17C0A10D05CCB9741 |
| SHA-1 | 0543552E39A648A51E0A74DD1E67FA694DEEC568 |
| SHA-256 | 2559662CED8BED8DB1BC9150FF49200BF18199A1CA936CCCE77D42573CE79D70 |
| SSDEEP | 24:LlIa/w5NoYpVGo5W7anU+qVtVtaLHHuHd/Sus7QInpEHAPcyltln18:LlIa/wQU5W+U+qxtaruHd/ST7QFAUoni |
| TLSH | T1EB21C65B5745F3ABEB2705B8C320350A21A1AC62C4179FB33364228E4A0AC433627E8B |
| 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 |