| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/parsing/extend.cmi |
| FileSize | 1455 |
| MD5 | 467579A954C69EC790A221AD43BF5DBD |
| SHA-1 | 00CA0AC6E686C2AE4A9218320A91E4764A1F1027 |
| SHA-256 | 42392B9166DCA9CE1BBE64186FBF580A0E739C5D61E04AE2B3356BA1C0F30035 |
| SSDEEP | 24:dhsveNDuEfBd1SnnA7venvT021VKyxusQ8iZ7jQZsX2UX8klAH1lCvBJ/g/5y2AV:TNDuEfBTSnnKuDMDvQmLZnXgxiu18 |
| TLSH | T1DE3171CDC928016685B2D1BF7366C18F0B61817F118B8C37403962A6CCFE9DE435A743 |
| 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 | 5752170 |
| MD5 | 99B7C70BEC58445AFAD078F0FC2EB418 |
| 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.4pl2dfsg-1 |
| SHA-1 | 9F5FC789A11682E9EAC6C4DA8091BB8B13EC6BC8 |
| SHA-256 | D6CB6F27AC9CFBEFC1CDE3A2A8B7B9C633FC91657C4A959BFA2BD29135B10D1B |
| Key | Value |
|---|---|
| FileSize | 6236660 |
| MD5 | 35EF465F7197827E44A100E3B1156EF3 |
| 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.4pl2dfsg-1 |
| SHA-1 | 0C34E6C37F2BD6AE1EE5AA6302F94E1BF4D09CBB |
| SHA-256 | B0E1D0C50491F97A9E6CAD55D03B26347B371FE967D892DC8FAAD2E752FF4CD0 |
| Key | Value |
|---|---|
| FileSize | 5604162 |
| MD5 | 8A36D178D890354A531432CF048FB76B |
| 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.4pl2dfsg-1 |
| SHA-1 | 560EB5B0451621A2576E168B1183AF833D69552D |
| SHA-256 | CD02CCF3E0E5D8744278292AB23604496ED62DDED55FA53BDC2E618334E34ACF |