| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/globnames.cmi |
| FileSize | 18525 |
| MD5 | A0C98DE14434F0AE9E6FE5A4DB1FF5AD |
| SHA-1 | 012A3CB456C58C9B52844F1F13F7288F3F12C598 |
| SHA-256 | 220D004C3427D3619E4B0C968F13F01F47F9117459E6BD4256A37DB3A2A6A51F |
| SSDEEP | 384:CPmqcgV2+/AJ9CzfdF2sp7XxzwXTrgNs7AlxxChEF9gG2u:CPzcAWCBF2sVxze/us7yxxUiT |
| TLSH | T12282DB5D98A8F4A845EEDC6FD24CE48F0A41427F603F6C7B863904A56BBF40D8F1A587 |
| 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 |