| Key | Value |
|---|---|
| FileSize | 1585458 |
| MD5 | D1B03A9E4FFCABC7AB87C88E40D13C11 |
| PackageDescription | runtime libraries 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 runtime libraries for Coq. |
| PackageMaintainer | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.4pl3dfsg-1 |
| SHA-1 | EAE2AE1EA2B65C2A70D9636A9A4D75F5B29C56CB |
| SHA-256 | FD85F03A548E98F54268C38047B6701E233B150E8F1297E24943A3F804D49351 |
| hashlookup:children-total | 50 |
| hashlookup:trust | 50 |
The searched file hash includes 50 children files known and seen by metalookup. A sample is included below:
| 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/plugins/romega/romega_plugin.cma |
| FileSize | 86521 |
| MD5 | B747560AA7B432A7382D43467F7B5871 |
| SHA-1 | 050D737B2EB93E8933ADAF4A939202EE80907BA9 |
| SHA-256 | 7F30F2982CD1A799F3E5402B49CA228AE6E7801DD6C1A35193A8AD085BB09CEC |
| SSDEEP | 1536:HgeCm94ZquWFHlQTPQsiF0pKPTCVtgKgpAP:YG0pKb8N |
| TLSH | T17183134AFB165D91C5E68AF2C6D38BC52336E7A19B43072F604D4B5C2ED3B6B1F84608 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cma |
| FileSize | 13653 |
| MD5 | 39B483408225AB2E1146ECACEA4BE69D |
| SHA-1 | 06660092E58451C08C5DFFBF2372729C19FF1C7F |
| SHA-256 | 222A6299CBA123A08691F81A9AA72BD1E2405D7F4F4CB2446C620D1D9708BB26 |
| SSDEEP | 192:Zv/hp9lpcg/7/vPyChYI4QiJ279gH17I43wJzO2PAf:B/hp9ncs7/HHYISyq17IVzho |
| TLSH | T14F52744B670129E2D1EB4A76DAD387C503269AA1DD034E2F24DC475C3EC3BAF6E90B14 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 23151 |
| MD5 | CA344B006AE4A4A8E7DC03B50EB14B65 |
| SHA-1 | 08A3B8EE853B906ADDBF0703D2BAC88DD56BD54E |
| SHA-256 | B5D9F9F97128998D6C37679928FD65490AB4074FF155B8C16A01E8A2B163E748 |
| SSDEEP | 192:/ASCHHkcpijADyxIminYu2q7IAU9YtamXTLU2Z05UpbnDpL0rnhAIzqicv2zCAJ8:/gHHkcGQyxIBGejnjYAIMQfYI7zho |
| TLSH | T1AAA2C847BB022AB2D0DB41B3CEE242C15366D5B15D874F2E2A6D475C69C3BB71EA2D08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 1173984 |
| MD5 | 3DE17A3434DD72ED778AE40D65525499 |
| SHA-1 | 163F6572AAD2D1618C1911D9DDDB78A2067B3C42 |
| SHA-256 | 7CACCF0C088F7B8948B26FF4981DC9D96781FA9A46557B8E83E8DA9EA4CD9BDA |
| SSDEEP | 12288:z27FZgGft5xFmCZ4vXiFeDV2t6mU3IGuJuQlr:zaFZrPjZwZ2tWUr |
| TLSH | T17645D75BAC985A7CC2B9863E8AD312323AF174599BA05B03259473303F435ED1B6F7D8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/ascii_syntax_plugin.cma |
| FileSize | 7527 |
| MD5 | 8698D29830B999FB9E61EEDB38277EC2 |
| SHA-1 | 1803E8E43B6CBA0F4716996A10E3728D91736962 |
| SHA-256 | F3B918435A41BD6AF5DAD29FEF83339CEDD786B61496801C6236C237CC6D052C |
| SSDEEP | 96:mOjIiVgEzmzU/aqxhkYtKAPb64i5kPVAq7/bPkGYtKNXoPbcCwtoVROcbPAf:nvCK7nkYIShiK2q7TPkGYI43wKzO2PAf |
| TLSH | T15FF10887B7412BA1D4EB0877DAD242C917A462926D538D3A22DC039C3DD7FB32BB5E04 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cma |
| FileSize | 150400 |
| MD5 | 8DB553730573E182B3002F6FB19E60BE |
| SHA-1 | 1BE74AA8E75A08DC3395AE7F05F302FE8479C731 |
| SHA-256 | 35D48813EE95348E45C37ABC6A2E6AE77F414D95708062BD54DA9DEFD8881EB3 |
| SSDEEP | 1536:SAd9i707iMsTR+k6S6zgGshyxj8W5wHlQ5Rafzu:z58W5wFKRF |
| TLSH | T1AAE3EE0BEB118DE1C1D289B6CAD347D62326D2B19B83471F656C866C6DD3B5F2F81B08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ring/ring_plugin.cmxs |
| FileSize | 203024 |
| MD5 | 3BF4AE427D8E3FA0531DCA9A9965F23C |
| SHA-1 | 2E16DBE2DF22AEBF82040FDAA1EDBDD546EA288D |
| SHA-256 | 50F479B68A4A4137C0B33342B89CED2E10410B0BBBEEEA83000C2129D74106D1 |
| SSDEEP | 1536:bG1r34k6MTIms2TfLAV8phHe+ipvA15VZwd4ekSkC6zv8JaOAaBH:M4k6msaAV8ppzitA1Vwd4e+vkpT |
| TLSH | T10414B6BB758499BDC4BE963846E396323BB2B4551FA15B03268033362F52AD50F7E7C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/subtac/subtac_plugin.cma |
| FileSize | 260799 |
| MD5 | F330FBE7B9307D44D2832CED27B3EF33 |
| SHA-1 | 2F24F48682A1E05C73BC5A4F2798880A9F931EE9 |
| SHA-256 | E4CA4E39AD390E5005C5B2E59F8DC175C1FBEE17BC3E66F0C07E12137E016F77 |
| SSDEEP | 1536:J3wHj3782rEafMRKRwVFZLOFhxFF3lrwvmiUacZ18cx4Y0RSJvrvNPZBGB6+jvLy:J4jERSsgPiS8XQVrvdiqZsCwtytP8c |
| TLSH | T11D44524B77015EB1C0EB89F2CAD3C6C51365E6659E420B1F258C8B6C69C3FAF6B51B08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/field/field_plugin.cma |
| FileSize | 23131 |
| MD5 | F27BA9373A24F34B2AE2D8013332410C |
| SHA-1 | 30A58848E1578BAB500E10C21506480B32468FBA |
| SHA-256 | C2A5389A961EC0A44F8C5473CAF9E1AEDFA63FA5688C022012C480A7DF1951A7 |
| SSDEEP | 192:odOO0I0ACscu10A7GfsXsN7XWiRP24DMxIdEje5l2b3CAQxI43wJzO2PAf:ocvxc0KGIOGBVxI1Q3SxIVzho |
| TLSH | T17FA2A64B730219F2D0E609B3CBE196C16766A6216A4B0F2F217E475C2ED3FBB5F91610 |