| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/ide/project_file.cmi |
| FileSize | 3590 |
| MD5 | A02CD418E636427F008530E260111C55 |
| SHA-1 | 4C86C55905A64FAA53C240D0A6D3ED940C28AF92 |
| SHA-256 | 9BFF931D9F7E789A08B6FE45752DF0B4E49855A96BA1C4465D16C1C5E2D35281 |
| SSDEEP | 96:m19fpKPCwwnL9Y+vgJlVyHgvik3fsJVe/gHqX/8:igPjU2+vgQAvVfs2/geE |
| TLSH | T1AC71C9CDC8BBF89A55CEB4BCE14DDD870410973F8167AEB742514D1AE68A05EC35309B |
| 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 | 3670362 |
| MD5 | F8C47058857B3D6D8B559649D47AA703 |
| 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.4pl4dfsg-3build2 |
| SHA-1 | BEB088C3FA80BD5501D84BDD1B37A1E3C2657E8D |
| SHA-256 | 22E5B97A974228C18A1B9F1B04A26658D0572626A8B137BC3BEE964B55BF04C9 |
| Key | Value |
|---|---|
| FileSize | 3734144 |
| MD5 | CABFACAD62E117E62CA4E5EBE8FD27EC |
| 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.4pl4dfsg-3build2 |
| SHA-1 | BF10C6DC48BD435101920A6D72551DE141A71344 |
| SHA-256 | 6DFE68E666A2A6261EA06470FB311F1413F6E939423C5C6149E9AF68BF9E34CC |
| Key | Value |
|---|---|
| MD5 | 0CF3D9FA257E4F8547D7296DCFCBC21D |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides Coqide, a lightweight IDE for Coq. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide |
| PackageRelease | 4.fc23 |
| PackageVersion | 8.4pl6 |
| SHA-1 | B4415F51F5799821AAF150C4141C1A9A546EAC0B |
| SHA-256 | 90CDBE8B53CE374A8F1E43CE8FDAC54175C9580FF50E6CA8C1FC5B5146AA75C3 |