| Key | Value |
|---|---|
| FileSize | 13667176 |
| MD5 | 89D3C3E44E6A8F7A8398C100F32FB07E |
| 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 | D0800D358432DEB951064BB0AC95B1D9DB074683 |
| SHA-256 | 9719ECDF035A2DC52237ED9FB09EC2484D47DF258F4194A99D565C34FFABE8D8 |
| 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/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/plugins/setoid_ring/newring_plugin.cmx |
| FileSize | 15771 |
| MD5 | 5FA6C97B6DD50F35F5AE114274AE9659 |
| SHA-1 | 00DE4812FD6EB23E9756777BA0FDA0DCA4E3387B |
| SHA-256 | 735A100F415D3244BB6D5E1828F5A6D5CB2B3D11ED4E93F6099F9EFA95162C9F |
| SSDEEP | 384:ScFf+lotMdyv7XqD9hQQIPoLaibGGdMe3:mlfgvODYQIPQvbGEMY |
| TLSH | T14A620C119A49B44134E1B0FFA971E3A0AC2DC2C3AF75C661F27A0AC67F57531E593E82 |
| 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/plugins/nsatz/g_nsatz.cmx |
| FileSize | 5509 |
| MD5 | 0E2383A0265359F781499B6F4F42440D |
| SHA-1 | 0121E86226C94A17414BB18A163AD7115EF030FC |
| SHA-256 | 7A834ED4AD31E3DE1FB774E7C033EA410C4AFE0BA29B9D28B33BC679E0FCF438 |
| SSDEEP | 96:wxH2VgQRF+OAMJ3NUpQrxbEeb2idrHsHForB67XCfUo6souO2zvDG4RX5uqDSySR:SUAGdD5b2dHFC62Mo6H2vRX51Dit |
| TLSH | T199B13A75E381B1376D93C0B3E0A500A045A452835B73C5DEA3B7178B19A5FAADF6B207 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/pretyping/inferCumulativity.cmx |
| FileSize | 3190 |
| MD5 | 4346B6AF6D3EC88E1FAA2C213038F608 |
| SHA-1 | 0186F16F25A73E3C8954C722305F244FED9A354D |
| SHA-256 | 6644DC1E8BDDFF0C718DD529EB24769E12100C102F1B54565BE4329394072953 |
| SSDEEP | 96:2GkewIRkME6bjzeQHScsdMDQjAWf/89IA1Ph:49ce42dMDhWfQIoh |
| TLSH | T15561805FB36D368384AA127A62FB241A4CBC98054F24D4F94BD85B0F10A9F2143EF323 |
| 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/pretyping/detyping.cmx |
| FileSize | 8553 |
| MD5 | 4DC26322197F1BE1FAB7C5F2EB7A2B60 |
| SHA-1 | 024F05C05BD4A2F6908F0D53162F81478D101FC1 |
| SHA-256 | 4DA598115C035BC1A8F99B0649C8B6D26035567E81DFC8412A7773C541AA99C4 |
| SSDEEP | 192:V0GNPewQWHDZ0eKVAmJ2zaXWyk7pEJPG5fXMHi:VTewQWDZjKVAFyk7GGBcHi |
| TLSH | T10B02A475B305F12A88AFB0F8407A7ED04418C4CE3A71CB755B963B272565AC1BA3B71E |
| 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/plugins/funind/recdef.cmx |
| FileSize | 16323 |
| MD5 | 56813B8B08AA4D71402F736BC9CD9696 |
| SHA-1 | 02BF65D5CA525521B2657073FB6BCC005E3B1CA8 |
| SHA-256 | EB259F113D2C0072B2AC4748E3F8D4D5D0E7235520F202FD3C61DD72D0057A7B |
| SSDEEP | 384:tOFKcloIM52v7XqDbjA2RWIDRbj+KOKNeP2AtjVqo:ClggvODXAcWIDRbj+KrgZz |
| TLSH | T1E7720A194F0D7E7D54ED9E7FB29280D1882CCEC73BE8C56552692E027F5CA71B2A7202 |