| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/refine.cmi |
| FileSize | 1902 |
| MD5 | 281A16A648AC4774D05F77180DB32CF6 |
| SHA-1 | 02AB759AD93121642FDC58BDEE810E7D70A08EDB |
| SHA-256 | A2941997B11052CA71B8FCC9B32E7CAFD3ED94E8DD4D0E17D698E2AD22C4D8C9 |
| SSDEEP | 48:7Ca4v60wtnf74XC7Jc0lcOvqVH1b0QrnFKT+F2yfcczK/TD18:ma4SlQqlpvYbfy58 |
| TLSH | T1C1410CCBCA5068BC65A5C4D54922805E75B02DF1C207CC77D1744769882EE942BE3305 |
| 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 | 5698876 |
| MD5 | C32D160BBABEE2328F1E977142FABA1E |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | EA519337C663750BCA5A1433A7F69F23D19A45A0 |
| SHA-256 | ADF9BF88AD5A8CAD455F40C9A441C3636F04A63100022791E9C59C34D1B6C21D |
| Key | Value |
|---|---|
| FileSize | 5873544 |
| MD5 | 1027F9231E9A29C40E2AA072C9814278 |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | 63D6EC4B34AF4055FA6DACF30036D1D46E1EDEC0 |
| SHA-256 | B20D8F46673973062279878F89161AD794DE67C26554B9878B9000A657B852B9 |
| Key | Value |
|---|---|
| FileSize | 7528276 |
| MD5 | 97CC0F3D6A72B86BC1CDAC4FD78C82AA |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | 3E6DBC59E8BC27E11CE8634FF5C05E8BA91599C8 |
| SHA-256 | 4B90DF1E7ACFBADEDBB96E98D7CA999A52CAC3C6B0F69C9750A7E350712522D8 |
| Key | Value |
|---|---|
| FileSize | 6637720 |
| MD5 | 3BB0635D985107A0C44F06841433DA0D |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | CED9B0342719E3A8279ED15D99AB8999BF428C41 |
| SHA-256 | 5F83E1C1F6563299E470CF0E393EC189001D6A2AC28D79658AC94E02582BF4C4 |