| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/tacticals.cmi |
| FileSize | 14367 |
| MD5 | 17B882345CD4F142867E220FAFD6A1C2 |
| SHA-1 | 0941FB8F8FA71182428B0EC8519D8B3B8CF82DDA |
| SHA-256 | 73EBD08D9A66746C9CE7CECDADD81A3D2F8602FF3313FD25164597026A971CB8 |
| SSDEEP | 192:gfFagA6NBh3i/tllIS1HRm+ffd36iFmrAvZ1hyR5OOIL8HZ4PwLehea2KQ+:gfFagA6qll3d3bFCA1hI5OOQ8qPbhYKx |
| TLSH | T10152949C8908F5E526EA55AEC19D800F6320433FA0664D7B063E0CF125AB64EDF41FCB |
| 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 | 5902968 |
| MD5 | BBB496D8BB92340B6459C899C4D9D988 |
| 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.pl2+dfsg-1ubuntu1 |
| SHA-1 | 1A80148498911CDAC118692100F8D606948A7DD2 |
| SHA-256 | C76D4213E3868759B8A6418E90DB0831844D43CA900605E9E21340D3748BD73F |
| Key | Value |
|---|---|
| FileSize | 6024488 |
| MD5 | 73455C447CA8BD6B7DA82A177FA5C5C9 |
| 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.pl2+dfsg-1ubuntu1 |
| SHA-1 | 38811B16BCC03C253CB98667AC44BC2F3174DFD4 |
| SHA-256 | ED40FCA7D1BECB78EDB2952DE1C72AD6DCDA602184C6A72435B853F4BDF433D5 |
| Key | Value |
|---|---|
| FileSize | 6983036 |
| MD5 | 1FB6B04D4E69425841EDF0A3047FC70A |
| 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.pl2+dfsg-1ubuntu1 |
| SHA-1 | AAD56F7B7363FE3545D6DDF5F679A96CD75C876B |
| SHA-256 | 9E13344A97F58746C472F5CA7CDFED1DF387E94CF6917885570715FDB0F452E7 |
| Key | Value |
|---|---|
| FileSize | 1930936 |
| MD5 | AD9B0B8ACB9F99E45D585366D4D5C51F |
| 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.pl2+dfsg-1ubuntu1 |
| SHA-1 | B7FB82914A3BD60324D82ACC3327259EA7A343F1 |
| SHA-256 | 5095F7BA83D3D057A94ABA155BC6BCD61DB889BCAC46907E0C2D623400B98B03 |