| Key | Value |
|---|---|
| FileSize | 1434144 |
| MD5 | D4EBD4C1FE2A6530BF3C3D9115D4D3DA |
| 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 | 00D78641E5123C85B20937EFAAC58AD650BC72AB |
| SHA-256 | CA293FBC51221E6126E7F26EB860A63060DBA3DB58217F8EEEB5250BF7A1BAF0 |
| 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/syntax/string_syntax_plugin.cmxs |
| FileSize | 18776 |
| MD5 | AB8EC249530FAEE1322BA6589412BF5D |
| SHA-1 | 02663C4CB1EAA8D6ACEFD541B7CA54DA804291C0 |
| SHA-256 | F235C6DB610D880D11644E9BD6D228A1830464332EECAE8647E914CAB84494F9 |
| SSDEEP | 384:JbmINVYv0G86nR+DA9ufqgg/YIyBdYIHzhBXv:JVYvlVcqY1zYaH |
| TLSH | T1D08209C3FBC59F3CE0B82B3002AF075836B4D48669B246739A6821C43E51ED85666FD7 |
| 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/micromega/micromega_plugin.cmxs |
| FileSize | 745284 |
| MD5 | 94365147EE4D37DBF59B0CD91E83111F |
| SHA-1 | 08E472E0BCC7C3B7BBF6E29D3C8D4FBAA457656C |
| SHA-256 | 60EDAA4576A40DC191481CF8FA47A32394A4C7E42FCDB0049CF7AD771E07B95C |
| SSDEEP | 12288:M5vJEaZ9vlIYa8YztXXTVMZv970CGc0W0ju:MdCaZ9vlIAYlDS0CAu |
| TLSH | T1F9F4EAC6FCCD8F7CC6B50F7444EB4B763932558F2695AB22219CF1663E025E807AA6D0 |
| 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/setoid_ring/newring_plugin.cmxs |
| FileSize | 185956 |
| MD5 | AB13966D7A81B7A38ED01CC9B97C85B4 |
| SHA-1 | 24438D8C76D80E5343F951124DAC4D5AAD181CE3 |
| SHA-256 | 656BE97F37A9EF26468F4049C19072D7F37ECC5C199F0E07E147304901973CC3 |
| SSDEEP | 3072:5utvmI68BmNqoj1B1Rqh0EFnRYcZj8iQr6G4LcjaPsJqFPyiJ:5GmI68kLjhmnmojqr6G4Lc8O+PJJ |
| TLSH | T19C04B483B88D983CD0F61F7145FB8B21BE39844A3BA13741E13466791F22AF51F669D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 99144 |
| MD5 | 2E975BB45BCB4E571BBD0B1796433D00 |
| SHA-1 | 2BA3D80BFD95D6AC4F449003DD39A67CDD3FBB2B |
| SHA-256 | C0881BBFD44B46C1ABF69221E437478C79E61C8F2FE796D3E9A5B026038D1C8A |
| SSDEEP | 1536:auCpixSm0JgalBz/7mTsCo6rZRZOAwDGQ2QyzSi11J:hjLmLlht3AJS |
| TLSH | T102A3D583F758947CCEB60F3009EB4B363771C85259A86B1B7289BA491F41DD81FA6EC1 |