| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/class_tactics.cmi |
| FileSize | 4358 |
| MD5 | C147E633E1000F00F128EBABDAA28715 |
| SHA-1 | 019F4FF6C0DFE7825FEC733A221BD3EB608E7ADD |
| SHA-256 | CE4F6EE6ACD5526C75D968893AA3DF8ED9B074B4E80694A9270075364956C4B3 |
| SSDEEP | 96:YXSqVJCP8dETy6PLWtF+keBXxUDPa/lsK/P3WqK2hY8:Y3VUP8dE/iSJxUTG6K/PGP2T |
| TLSH | T1059108DDA110B015609FC0AF80919823659413FE89B38C3FA67892EE4AD9C5CDB43E8F |
| hashlookup:parent-total | 7 |
| hashlookup:trust | 85 |
The searched file hash is included in 7 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 13008002 |
| MD5 | 639D3590241C58495A3A072318FED8B4 |
| 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.5-2build1 |
| SHA-1 | 43F135ADE232A782506EDDD70582778A57BFA929 |
| SHA-256 | 20448B66879EBAFC5C2779F60FE3895C5B9EC8ABECAE2147AC5CAB23262AAEF9 |
| Key | Value |
|---|---|
| FileSize | 13320164 |
| MD5 | F4927150FE35E834E7EC9C29A8B158D6 |
| 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.5-2build1 |
| SHA-1 | F88529ACB2CF94F598589AD79A6D83650737E558 |
| SHA-256 | 68D708700993B156B0A790404A2B8EB2E277CC245A84411B4DFE448FE4B37898 |
| Key | Value |
|---|---|
| FileSize | 9926918 |
| MD5 | 0BF443291DB29B000081D84499CA9D46 |
| 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.5-2build1 |
| SHA-1 | 09DB280E7D0C763A4F20856C847542946B04F66C |
| SHA-256 | A71C18AF2267D33C8FF3CB160595735F9E1DB69C8CF4C26F65286B7C197ADC3C |
| Key | Value |
|---|---|
| FileSize | 13307820 |
| MD5 | FB04AC489A3912B7BD41857863A060CC |
| 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.5-2build1 |
| SHA-1 | 0F3B75B268D6A8EEF24F521DDA1E8E8FB5D41F5B |
| SHA-256 | 4390DEE95AD722CCF6D56EA7FEA772435253008AE2D6DFD5767A04B397079F51 |
| Key | Value |
|---|---|
| FileSize | 13532328 |
| MD5 | 379B3B9942BD82B552F806C7A18C8926 |
| 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.5-2build1 |
| SHA-1 | E17203FC6A7914301D303E5D2589AAC6AF9B14C1 |
| SHA-256 | 7868CD01B50DF2731BFFF7E61BAE2941A769D03BCCD0BE9D46FD7B4C2C9210F1 |
| Key | Value |
|---|---|
| FileSize | 9925570 |
| MD5 | 42EBFFAB84B9F5D25B6A3069964CA93C |
| 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.5-2build1 |
| SHA-1 | FCCD0B0D2647EB4ED6802D6B24E5F61DF26DFB9A |
| SHA-256 | 42D5146CD1637EBB486A4A46AC5C5834E19EC534545D74BC094BF4DC650B60BD |
| Key | Value |
|---|---|
| FileSize | 13766780 |
| MD5 | 3D9A51726EEA0E49EBFB07A8E231047E |
| 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.5-2build1 |
| SHA-1 | E35243AA339D40B4D82B35DE7EE0711B86723099 |
| SHA-256 | DE98A09024F1691945D543C5EB202DC8CA784786281471C3A0EE11A48D97A78C |