| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proofs.cma |
| FileSize | 111129 |
| MD5 | 581A63C90E6311B2E9DF4473D070832D |
| SHA-1 | 05E3B0CFA6848FCC50094711DB77604DB1F01409 |
| SHA-256 | 4A0173C98164CEDF09B59A7C64BDC15694BA35DA6971BD4E831BAAF5AF60AEB6 |
| SSDEEP | 1536:S6MPteOkSqfZkGmUyilgoVljVvd2OjtXTYle:eteZlgwxd2QT+e |
| TLSH | T1ABB34006B7019EB2C5EB89F2C6D3C7C91369E6668F030A1F354C575C2E83BAF6B45648 |
| 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 |