| Key | Value |
|---|---|
| FileSize | 15105664 |
| MD5 | 0B541FF432B23A7D75D4988AAAF6720C |
| 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-5+b1 |
| SHA-1 | FED316CACD915417A154415A8B04E11B1F0C2762 |
| SHA-256 | 4802162F56B52FB88A9D1C36E8B5A48E2551EFD54D0F4A365B9146FF3B4A514B |
| hashlookup:children-total | 975 |
| hashlookup:trust | 50 |
The searched file hash includes 975 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/library/libnames.cmx |
| FileSize | 8058 |
| MD5 | 7108D26346B3C1D5A82DBE217DFF0C91 |
| SHA-1 | 0096F3ABA0520F233AC913DD47D78A20B8FB0546 |
| SHA-256 | 2379DB2EBDAD7F128290CF285256AEB493F367BE8701AE990B1F124BE938FBA9 |
| SSDEEP | 192:bgi+JFsDKcbZjZoewrrD2uifloM4bSWcNNbR:y2TZjZoewL2ueltpNbR |
| TLSH | T136F17121EE666E83F995D3B5ECAE153ECB37E093BDA88E3284E44A06742470751D3207 |
| 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/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/printing/proof_diffs.cmx |
| FileSize | 6851 |
| MD5 | F06C3CDB201EAF6B068E1679E72182FC |
| SHA-1 | 01EA61D443F19C279EF2BF1B43C7AB1CC34A43B8 |
| SHA-256 | EF981AF88BF5E178D4266D4C54289C5CE0D1EEA59F7FF865B8132FED9694BAAD |
| SSDEEP | 96:5/uTA0IWqAGN5BbNFrkHVnQUNDGUfqzw3pLXOUevk6u8UbnDuiUgliX27Jn:5/Kqf5t8ptB7LXOUevk6uVWfeV7l |
| TLSH | T1E9E1D7B47241F156728282B77EA7E891C134505ADE91C8FBF29FCF8A26E1E1172D3206 |
| 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/engine/nameops.cmx |
| FileSize | 3709 |
| MD5 | 87E299D02F173B182C65CE83C70F7CAD |
| SHA-1 | 023B5289D2F001876B0AFB223122FE525770BC40 |
| SHA-256 | 24A52DA73B88E0C7CE0E33F3104FB77D11DDCE8DD29C60BCBC365DBABC4FA7C5 |
| SSDEEP | 96:wlWihjOARN39Io47D9Xb/ZI5hEdyPR+hHSivp:Fi5OwY7RX6jYyE |
| TLSH | T169719573A38F6C43BC47E1FAF8D830B87710A0469E428D70E2E40A896EECB1201B7745 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/interp/implicit_quantifiers.cmx |
| FileSize | 6428 |
| MD5 | 535F94D30A32A4114D77FBB6BEB73B56 |
| SHA-1 | 02A1679CFDD5CB2385EBA4D8425B608AB173322B |
| SHA-256 | B9A14DF08609B2608EA4F4BCBEA4E1BD35E87608B73C968989C1544BE984CF2B |
| SSDEEP | 96:eTxJBIWiWAG4T1WHgpniWz9mDStUVa5vxe/sh2E8llonMgS/Y2SfIzcY:2viW+xnNQJVwosh2tlPHHS8 |
| TLSH | T12DD1A53463E1B3A6E865C437D480C578593040E2AB88A07977DB8B5E4478AF776FB732 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/proofs/proof.cmx |
| FileSize | 7498 |
| MD5 | 24B55E2963ECFC50F55EAD40C008B18D |
| SHA-1 | 02A44BB8409A2764029CF0770F4BF3263D9C5CA6 |
| SHA-256 | F9644891AA986116F9301DEA5FFE1571123B9CFAD29697EA0CDEEFFEF9FE3118 |
| SSDEEP | 96:aT7IWi+AG4nbbEUHVn/Z/VYoDStUuWw/lCsZ/OQiEC1elpN/Ta51VUxoqhdiehSC:Si++nEs/vJrclbZLC10G4diU |
| TLSH | T150F1C4E2F603ED53EA99C9BBEAD88C51C4229486CE44C2FFF5274A0996E1F01B1DB105 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tactics/btermdn.cmx |
| FileSize | 3895 |
| MD5 | F5453CDA2C3779368D8EEAEFD6C46D77 |
| SHA-1 | 02C7D2117E6B3473A8777594B87AD6117A1C775E |
| SHA-256 | F1DC93C032C3C5BE2C8C5C118D5F58807F9D79A1275D18B1E4BB67BAD113C1C1 |
| SSDEEP | 48:UMTVh5+RKRzDji/S+0A0FpiT6c9WHoZ4n1tDUjuNKsccuDWSKGUJWWpiMYESbAW/:UMT7IWhAG4TdWHVn/IDxUfGESP+3pu/ |
| TLSH | T1C6810A28BA413E87F92281FBE59BC015872004D7FB42F4B5E29D174E446BA5362BF112 |