| Key | Value |
|---|---|
| FileSize | 13968812 |
| MD5 | 1A96AC8306918BA2B32151E5EEE8EC34 |
| 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 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.9.1-1 |
| SHA-1 | B03103121F06B207A2620D7459129217344B4687 |
| SHA-256 | 958B19BF2806886CE9FA5C145B19BCC7EEBAF498FB4CBB4E772EBC37A4958942 |
| hashlookup:children-total | 937 |
| hashlookup:trust | 50 |
The searched file hash includes 937 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/clib/cSet.cmi |
| FileSize | 4572 |
| MD5 | 08B0520A67C146F952663E6C165BB421 |
| SHA-1 | 002A321D9FD5C88F2B35E9995E3352D14C2953DE |
| SHA-256 | 34B8B4285010F633B344FBDABE61379F4F18FB3257715ABE0E5158E51984B024 |
| SSDEEP | 96:DAnqpgjiUb3cGtsTZ5dNtOnSMuZ/7fjpz0TMIIylPYvbAU8:D9pglbs/TpNj/7VWPlPYsd |
| TLSH | T10F9150ED9424F05812EDACBCE25ED9D701480A7F95734C776B491E52A7BE01EC31E0AB |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/stm/tQueue.cmx |
| FileSize | 1782 |
| MD5 | E98D0494B5159024E357F8BA5EE03FD9 |
| SHA-1 | 0040A3A9E6B6EB19B566F9191959C80E86AC81F3 |
| SHA-256 | E82921BC7AF4194A012EE30453AB6F36EAA422125B45750103209DBE2DF920F2 |
| SSDEEP | 48:TU7bZ85Srzr4sAHMrZZ8nLhwelmNeBvDrQ3WdJzloO1BB2JoPJy1lb86Ji+ds7:ibZ85S/0sAsrZZ8LhwGmNGD86SO1BB2G |
| TLSH | T1043186F19B1EF102E4D9E0716DE9D47CF96CD0111D04E5229A76C602E5549CCEB2BD8F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/dyn.cmx |
| FileSize | 1676 |
| MD5 | 9EAB6493EB70ECD0BE9F7A96FF410B3E |
| SHA-1 | 00851F02F0D2A7E247DA8E0C56332304BAD1AEAF |
| SHA-256 | C78EB9CD7344CFBE604DF22F4F4649017559950A2B90E6280B684E2C4BA20FFE |
| SSDEEP | 24:TD2PNbFP0LluJ6MC8dQv7cnQ66dOJf6IihxQhrgh6E8xWl6upawo6Gl68nGipYKZ:TDQbRBI8Q70gKglkRzGEiWT |
| TLSH | T174313450B3C36C174DF8F1B99E27C8C4CCD7C4299D5D4C1279650EA662B8983A61EA09 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/coqpp/coqpp_parse.cmi |
| FileSize | 1258 |
| MD5 | D6911BD4240A547ADF7B80C1C40C0702 |
| SHA-1 | 00EDD65D2184519666DED458162BC6ECAABABCFE |
| SHA-256 | 5585D4F09AE3D566B4C182B7BD247E2E8E9A4C312814BD6D40BE763E00F536AB |
| SSDEEP | 24:XqmwVcRtT2KZtuvpjg/xts8IQTcZi03lMqQpWbmC/kG18:No7QtKpMwNUco0VMFWb9kG18 |
| TLSH | T1EA213088E2551031E94F67FDB17A1C1B8554C8AE161BCED3A22844CA30CE65EAF9F0CF |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/inferCumulativity.cmi |
| FileSize | 1863 |
| MD5 | 8951CFA1BEFA12659CEAA193FAC702BA |
| SHA-1 | 019E8F599153485EB380FBC3FDAAC85AF308250E |
| SHA-256 | A0ECAC699A86816426C5B76D4D93BAAAF9518BA1A0F157C295013272DC0F74D5 |
| SSDEEP | 24:ufczlXyQTlXytyW4dUEb6KkNgsxMBt+9n6bDiIlt5emjKgSKtv5kERTEirdoY/9G:NXjUkerMS9n6bjzekKgSB0rFlEKH18 |
| TLSH | T1A231F79EB681364744C2B1F313AC04A6006909E31C3BC4EEAB46274A43F8BE37B26197 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/stm/spawned.cmx |
| FileSize | 1127 |
| MD5 | 889484E5A08ED07D738751A9AADE3E63 |
| SHA-1 | 01ED58746B105EC9D1D54E57AFF877199A03EB6A |
| SHA-256 | C6DE60A5BCB6761966FC33449C50759A50695003E0E09C287E56CAC9F3DE1229 |
| SSDEEP | 24:/GZJ2bbE5SgaTrCLwn6PMkb5UrBsHgZrJB1PG4Aw+xl5aJvifKgNIu:/WAbbmSgaTru06AZrJBpG4Aw+xiJ6igV |
| TLSH | T1F72126CAD6DE112E85D6C0704ACF00B5DDA4D344DB2D8262D66D564F34D9DCED31360B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/config/coq_config.cmx |
| FileSize | 4147 |
| MD5 | 01F823C5324DAAED9757DA371AC18BC6 |
| SHA-1 | 020978E55CE4982FDA44D0A84D196D09F8D93940 |
| SHA-256 | 2940F16FE4AD80FAA001083F157F19E1C82B79EB7D18293CBF434A7D2F5024E5 |
| SSDEEP | 48:nnGcbxPA2U2FTMT503Mo8KPsiXCadR3QnsshtJOGRvKbeRxKNq4K3Kcd3jZvQQRp:nHbxPAOP5RMfbQQO8rmvCW1YPGML |
| TLSH | T16A81D75BD54F7CD3E7584DAFE732C09C0D95C3C1BEDAE15C96723678388182109AEA02 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toplevel/coqargs.cmi |
| FileSize | 6086 |
| MD5 | 8BAA4F84F864E75AD8C0030A875E80F8 |
| SHA-1 | 02672DB28377853F3053CEA35DB1FAFCE5D982F2 |
| SHA-256 | 12FD7B34F501C52CBAEF8E194D4528C09A65DD9A538969DCE6401446521878CE |
| SSDEEP | 96:7xMGmjyDxu/8De9vASNLwEMwYSkMR2Vg3Rj7AMTHpFbEjdryQmrAk7W76sjDzvVp:SGmjyFuwe9ZjFdvA+LQnki76eDWKRKy |
| TLSH | T174C1E5EEEBA16412548B7CFE81A408B3412802BF4623CCB76256164775DEDAFDB2F107 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/syntax_def.cmx |
| FileSize | 4052 |
| MD5 | 54A8B6964BD56C30B83A195FD0F3ABCF |
| SHA-1 | 02E1425C53F37C45EEB823EF7019D6CB7F53B471 |
| SHA-256 | 6B7A0BFFC8FF17AAC5DAF82F04BE78A8A965EACD2F1C329BB2C3C93574D90DD0 |
| SSDEEP | 96:1kH2ngbRRUXML6b2idzorVbeeHg7Dzv471qKCZ2EMoDoZyxrvQyt27tB:4uuyCbeSgDk7kKk2/oDWq4y0b |
| TLSH | T16E81E8BDDB81B596EC94D0B3C59D0055895082631A32D8BA578E03DF0A7CE572227E1B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/indrec.cmx |
| FileSize | 5591 |
| MD5 | 13759786A5ACAFC8F9A3AD422C2C8CEE |
| SHA-1 | 02F42E0CE7B1AC8655F694828708E8D0438D15B2 |
| SHA-256 | C241288558E81260BCAACD7D4ECA74E0C07C7E792209ED617FB4D5181FF55B49 |
| SSDEEP | 96:Vi+H2zgmUfRmXMc+6bVUdzwASfHSiCDzE40TqDF96LwNIL4rtQYkYC7zfh0/nNDB:vYJZgwzmDp0eDz6kNO4rxjuzfh0/nNDB |
| TLSH | T1D7B1FAE1C321F847558BA0BD8EFD24B08C3588575A38C8E787661B075B75A86AF37247 |