| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/highparsing.cmxa |
| FileSize | 27031 |
| MD5 | 6502EC2C82458E01D434E78C9DDB61FF |
| SHA-1 | 0685C1CA5A74836444BD0738956152EF02ABB4B9 |
| SHA-256 | 6061F879DCC5B23EC9AA183AFD26AE376AED2A70D505B177917FB6459B850F51 |
| SSDEEP | 768:AslC/5s5Va5p2mTraLbkp8CkAlI87lhJplbupvpnomm8o/mVTlVNDny:lA1t |
| TLSH | T123C21AA6D748F2B3AF9641E67715010949D968E2C837C8B377B932EE005EDD23A27D43 |
| 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 | 6671060 |
| MD5 | 211B93CE6E7A83BBAA8972C24A4059F5 |
| 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.pl1+dfsg-2 |
| SHA-1 | D1E811EBC9F8B81292B4BA653F874411600B4F15 |
| SHA-256 | 3567D686614FC9EB2C4E4740AEFB341912BC57525938DAD75672217B8653C2EC |
| Key | Value |
|---|---|
| FileSize | 6978606 |
| MD5 | DE30005E700E27701DB353EF252629F7 |
| 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.pl1+dfsg-2 |
| SHA-1 | 6063066FB75507E132471D0F5D81A9684695EF26 |
| SHA-256 | D432742FE5DA7B42D637B718E4AD940FC7B44FD3D504F7BD075955B61E281FDE |
| Key | Value |
|---|---|
| FileSize | 5865284 |
| MD5 | 115062FEDB328A60A1F7DB7C77C95759 |
| 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.pl1+dfsg-2 |
| SHA-1 | 7436557254E3BAB6150410DEB47CBE093534B1FE |
| SHA-256 | 1FA7DA7D15CA34BED10B80472C0AF483AE7A634F6FF3938570531E1F0EC257C1 |
| Key | Value |
|---|---|
| FileSize | 5867618 |
| MD5 | 2301D6FD1045D668D446FAF7D7EB5967 |
| 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.pl1+dfsg-2 |
| SHA-1 | 160960C81972C10EC6CDA360A54B2DFC68D58F08 |
| SHA-256 | CDCC5224B9405CDB6BA5D333CC5ED93E3A7009BE52F53AE417880E598620820D |