| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/recordops.cmi |
| FileSize | 4699 |
| MD5 | 6E7DBFF76EA730E1E4C0B522B0EECC0B |
| SHA-1 | 01AE2F1942E70ED83439C6FA6575488329EFA470 |
| SHA-256 | 3A3BA898F9BC22A5C4BE025A19C379429DEC3D4EDC7E86950034A4775DCC273E |
| SSDEEP | 96:/ytGABdVsflbfiHszrEPvTEfAsLWtj+f77BTDR7KYt3WqK2hP8:q0GVsfRfiHsfsUiEx1KYtGP2u |
| TLSH | T1F7A1C5DDE529A0A1E48EE87DC0A46CA35520577CCC778D77003C45EAA9ADA4DC313ACF |
| 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 |