| Key | Value |
|---|---|
| FileSize | 14092616 |
| MD5 | 07A317EA7B0AD0BE6332ED49A2731B1F |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml-dev |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-2+b1 |
| SHA-1 | CE24077ABE9BA538085E89D9A6BC076C4BDCFA34 |
| SHA-256 | FDA0296B5B385B287E0DD44451A4D1C41DC118D9496A0FA85E3FBB2E80C93A72 |
| hashlookup:children-total | 941 |
| hashlookup:trust | 50 |
The searched file hash includes 941 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz.cmx |
| FileSize | 15004 |
| MD5 | 033CF57D35BCC623EC8EBAA0D3441C75 |
| SHA-1 | 003F625424E19409D4EBA9D6F03750B2E58BB50A |
| SHA-256 | 4941A7E18AEDD4EB02D3FD50DCB81CFDF353F84EE91048697573417824B50B4A |
| SSDEEP | 384:8cPNn6m/8U77leTkzo1dW5LY8CCeWml9AeWmlPC:8Y6MZfleTkzo1dWdY8CCeWmleeWmlK |
| TLSH | T1E0624160E70927A664B1B5F7AD5690C99AF8DC8C8BB0C973D0F803523D66F1E21D760E |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/NEWS.Debian.gz |
| FileSize | 269 |
| MD5 | 0ECA063A774B94A35B2709F6E8E4D6AD |
| RDS:package_id | 182052 |
| SHA-1 | 01024660E771DD5236B4AB77DFE0050CD2399988 |
| SHA-256 | B1659BBB950B950046B4C9660BD1BA77AECC2AC75CE8D9172942608DD8A845CE |
| SSDEEP | 6:Xtq1MrzCx26YMHSG51tXgMIdrMzczJzVkVpXV77AFBS4jMNl:X81SN6RSGvttI9Mz2WV5V7Mi13 |
| TLSH | T165D09535760099B79E5DD0F1357CCC4EC512C2098C20F1B1A0A5E013D0E6764D4DF904 |
| insert-timestamp | 1679425887.2617948 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/lib/loc.cmx |
| FileSize | 1231 |
| MD5 | 1A6D3AC445440F937A12374E7C31C67A |
| SHA-1 | 0139EEA40CA6FA324C0A1826F96AEA1227D79978 |
| SHA-256 | 7B4685EADB04905A8AAF33B70AC1E7324DC1495DE11907A91B891BAC9C4934B7 |
| SSDEEP | 24:7P1AWAoey/6hv79EPgeiCQxEhCX3CWOjCSyc9KG8froo7B:r1ADySqpycD8fB |
| TLSH | T19121CA40A5A6EE53A801F67EE8B29150CA50F35CBF01C97698740FDA76C18A5BA272CC |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/lib.cmx |
| FileSize | 8113 |
| MD5 | 20DE79C95A7976CF89B92F94A32F338B |
| SHA-1 | 019CDC2FC27277AD0CEF18C6670921BC7255EEB4 |
| SHA-256 | 03F86E413EDA581EDEF8359BF23431103636563317AEC37B25255428E980C121 |
| SSDEEP | 192:FivnY6edpXIw/5CJ/k7AmUz320ZHxE8Wa0B:e6HXtJ7AmUznZHO8Wa0B |
| TLSH | T186F1736177A2384334AA91B27EE670F4C97FD3D34E948035A5B88796BBA4F03455720B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/terminal.cmx |
| FileSize | 1498 |
| MD5 | A15E7A5E79DAC5E3415E321AA9D4F5B5 |
| SHA-1 | 01C9C5BF40155D5E5A1EAFE3A8432EE9E1729137 |
| SHA-256 | A77A98E313649A22FA6DC39E498D477D8331E9549AA3550245A1C2B2BF17B5CF |
| SSDEEP | 24:7fry0l22UjTa2RTAXwOqpTwJVBEFpRdYIIHWKij8A2lJ:Py0fO2WTAXwrpTwBEFpR3dKij72lJ |
| TLSH | T185315A219F3AB762F142D33BE952273D8A148A767C20E0765DB9CA0663D2AC0F4C3242 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/common.cmx |
| FileSize | 12616 |
| MD5 | AF26971345EA195A00CC02B3A932BC4C |
| SHA-1 | 01CA7F027E84246EEDB35A415B963948BEB02C38 |
| SHA-256 | 443FA8EE49D3E508943C33D424418B0D781015B49847AF39577E56E918038CFF |
| SSDEEP | 192:zCcajY+EHB9KstGcstX2SoGKoME/x8cGMcgQoCPhC7EFVtpc:UE+Eh8stGcy2S9KtEG3bgQDPhC7EFVM |
| TLSH | T12B42C1143ECABC5150F661B0E646F29A89FDD3CB4F8AFD766F6896423F2835205D3A01 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega.cmx |
| FileSize | 12182 |
| MD5 | C85129CA6F40EF31EFA90EFDAEB34188 |
| SHA-1 | 0214332346B40C8E3E6F3AE80C7BFDD48CAE46F1 |
| SHA-256 | 19CA398B2BCABE95B6958F98CADC6EB1B0C116F252A12C379B6621BE9047FB71 |
| SSDEEP | 96:3AIwFJRVWmR2ndZryIu+7y9QEGpq47C1odG+XV+EvKxBBbTkAncR0MSyOQ+ENOfV:3BqR2dMIu99ztA/TvKx/oR0bylOIGwG1 |
| TLSH | T173427ADD528FFC41E4B0356DC95CAEB28D2AD7D70FA2CFE184E94B026E44AE20597306 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/printing/printing.cma |
| FileSize | 934235 |
| MD5 | 5B7517DA5E9758932FA57D854BA93747 |
| SHA-1 | 0266F02EDE5B2498AD17151A09AA7FA9FD3D7356 |
| SHA-256 | 3904CBB51587201B5027BE988BD64E11A66428438927429D0C9A4E420A7F4E7E |
| SSDEEP | 12288:gQO1dr+0ODhdEciaXOOOM7zX/MaHG8/6bn4XYRMKD4osk9m0qLKhYWsBV8JfQRBh:mdrIhdND9nu4XYOvosTJ/8VqBCCbQXm |
| TLSH | T19515C40DBB466AA1CC9989FDDCE5C28F4361192DB1C34E2F819B12D984C3B1E6F91B47 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/clib/cThread.cmi |
| FileSize | 1091 |
| MD5 | F51AF43798669BDCCE2CDF258F367535 |
| SHA-1 | 02FFD47D199F117CCA54607F3F5428DFCC890506 |
| SHA-256 | A459E4CBCA89496BC856A0AD021CC14DB0A30478232BBF48B1BFF31B3544FCB5 |
| SSDEEP | 12:ODzDCDD6KM/XmdOEaIkz4mCNbNwiHcnmF+8vys0bMXlz4mfIGvL1vV/0oNtt/2rK:ODKD2pIpbvP+V7MsQbDt/2HERz5j7AC |
| TLSH | T1B011CE9DA3684568DC05512DA1C706BF6B3322BEC2F34C67C6698FC4A05F04C934AD87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/summary.cmi |
| FileSize | 3221 |
| MD5 | BB7DC7ACB50671B0E897EE966AA10042 |
| SHA-1 | 0304E31B24AA9402F5B1345CDC7678CE35E4833A |
| SHA-256 | 6D315B27072F208F1FDF9A6CD5018318767404B71945AD2B738F07F7761F276A |
| SSDEEP | 48:brJLLSr+PSUrakrxk66gYylRnM+q/XNp1Cv4ZeyGwv9aMJwWx/9AiCwwgUKRgmEg:brJRlu+/ylFPJPFQwwAlEu6AR |
| TLSH | T16461446D6F569396ECC946ADE584C7AB6820473CD4F7DC3F60180BE4211222C676B2CB |