| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/library.cmxa |
| FileSize | 18252 |
| MD5 | DB55A18B5D8471E5AE7F7D3A7A765B15 |
| SHA-1 | 010CD8CA9026E6C3E62D915FC2929ADA8C297E64 |
| SHA-256 | 3FF8FFD6EECA22B9CDA9AD9145817D986242E0E6539CCA0D0880F532E416EFD1 |
| SSDEEP | 384:j047D4kdh4Q4b0njvzCyvml1QwKzWz+zUFCsFkN5XV6mRy4q1x01X7nozm2szWgx:j37MkdG7bcj+yvmEwZz+zVsyNVVtRBeI |
| TLSH | T17182D8159B45B2A36E5542E5C304A20F26F1AC8BD867ACA3E76934ED810EDC33763F53 |
| hashlookup:parent-total | 3 |
| hashlookup:trust | 65 |
The searched file hash is included in 3 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 5884584 |
| MD5 | A759301B252F55966F93F12CCE211FB9 |
| 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-6 |
| SHA-1 | 596922A89D25BBA21A2F7B192955D5E689DD5F38 |
| SHA-256 | 9D3FFC22565DA9F0A7AD072F01240429700996BA469786914C45A8554E55E603 |
| Key | Value |
|---|---|
| FileSize | 6994868 |
| MD5 | 03E1306E30EF6AE94C43CCF29FB880F8 |
| 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-6 |
| SHA-1 | 291AC4D88747DECEEBB0E2F7D9E7C2E6CE8AD0CB |
| SHA-256 | 0C93BB041B66DB51EDB1FA98D6ABAA82C069D3DB9F0CA78B652E0103FC349F35 |
| Key | Value |
|---|---|
| FileSize | 6687714 |
| MD5 | C19F10158D0ADD5872969F02569B7B8F |
| 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-6 |
| SHA-1 | 05753C44346F4F920B97FDB0843F2E6DAC4DD3C6 |
| SHA-256 | F972702C0173715EFFB104DA88503AB819F3DFEEF72BF008F0007B0382762AFA |