| Key | Value |
|---|---|
| FileName | cObj.cmi |
| FileSize | 841 |
| MD5 | F1820530E19D43F0CB2AC5775BF8B9BA |
| RDS:package_id | 182052 |
| SHA-1 | 0283027B11E4BB177B7ADD8508A5D34B072B2EBB |
| SHA-256 | 7EEB87BA4C70C7305478AD7E3ED266B3F15D861CFC5DD1D62D03553D35C5267D |
| SSDEEP | 12:gU8uelk5lLfy+nBQclHEGxXRgvJselRToW2gCUyqnVzUCghUb4x2R7dqYinYwIW6:gU89C3XVRgvJXRXfR1iHKskjleKu18 |
| TLSH | T12C01CBEFBCB2D405324DF6FD6240AD67180012BDE43B8C7BC0181092B04A94C935B05F |
| insert-timestamp | 1679423561.3415165 |
| source | RDS.db |
| hashlookup:parent-total | 24 |
| hashlookup:trust | 100 |
The searched file hash is included in 24 parent files which include package known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileSize | 13630512 |
| MD5 | 4E6BFA96BCEB66AB57C6144D4FCBBE56 |
| 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.6-4 |
| SHA-1 | 06D14DF4705B851E262211256A4A4E21920DB4A9 |
| SHA-256 | BC4F409E8D2C9D4D974AADAE354CFB9AAC63026C8CBDA262CA3482DC5B6FB432 |
| Key | Value |
|---|---|
| FileSize | 9956010 |
| MD5 | 5C2286C4E767EA43D36C7A5DAB1EDCBB |
| 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.6-4 |
| SHA-1 | 0723A1F554C7BB20A717A22BC5259A5D836F99BB |
| SHA-256 | D06BFA6EB0FAB6FDED72D8A05F955798D987B6841134B7211EA8DAE8E5869A3B |
| 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 | 9959486 |
| MD5 | 9050BEFCC55D6EFE19907FEEDD80622C |
| 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.6-4 |
| SHA-1 | 0DA14F3ECDC7C9DDCA0FE17CA6356D15F107ECF9 |
| SHA-256 | 134D9D92B65E6E728521765C4B2CD129F12C245FCE6B11CA216C5CC66924EBA3 |
| 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 | 13517276 |
| MD5 | 9CCA6C9B73CB799E415C055F4483ECB1 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.6-4 |
| SHA-1 | 37DCAE9BD540EB433C42CB4B6FA173F54539FFF9 |
| SHA-256 | 943EC149E16B4CBCE47CAFBD80A5C3A2854F82120448244903E12C7C637E7EF0 |
| 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 | 10052340 |
| MD5 | 171FD632EBAB57D1D23EAEE4FDAF5110 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.6-4 |
| SHA-1 | 6FD5D3C4C57B4AA71EFAA57414633B9E3450C3C7 |
| SHA-256 | B1ACC01C32513BA0F6A3C70BCFF03C75741D52BE4090D0BEE6EDF996EDD8E7CE |
| Key | Value |
|---|---|
| FileSize | 10053978 |
| MD5 | FB1F3302F962808EB3A23132DE335C5E |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.6-4 |
| SHA-1 | 70EEDB5F2095EADED9E6FDF984FEE8C40F524F62 |
| SHA-256 | 1D66373B58F01105EE88A17A2A81DDA31672E25FA9D9962B40781D604FE20569 |
| Key | Value |
|---|---|
| FileSize | 10051066 |
| MD5 | AD30909B6CDEA493744D506C740001C7 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.6-4 |
| SHA-1 | 7474FF9C75A683DFE9A4D28063B6E471271DC29D |
| SHA-256 | 7E61D6540307203E14C1FF475D4DC676E958C912CE531D0CE9E044E45CF3700E |