| Key | Value |
|---|---|
| FileSize | 2066140 |
| MD5 | C513848E6FDFE8F09FC1B519FC9502CE |
| 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.3.pl2+dfsg-1build1 |
| SHA-1 | E72FE08B417029AFBF93819AA3475657E38A2501 |
| SHA-256 | 2E37E64A8E3E5CBB71B5A8AF3F46C2AFBE2E35A2A8754C96F49EFF531B607377 |
| 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/subtac/subtac_plugin.cma |
| FileSize | 250189 |
| MD5 | E4B1599E356ADB1487E248E35F47FEDC |
| SHA-1 | 0B59CA14C7F96ACDAC17C753361DE296E6CA4B3C |
| SHA-256 | 534409296EE17E4998B6A69E4E530C718C8A0E18008C42EE383089CFEBFC43AD |
| SSDEEP | 1536:j7D4zd8nUAdfiBRoCFvayf1FphrZBkPJdvlXSObF4a++5OVDIFIiMsNrjDd5C6rK:jwHBVb1StSkJIiMczd7BEYJS6vKn |
| TLSH | T14434304B67014EB1C4EA89B2CAD7C6C51365E6759E030F1F258D8B6C69C3FAFAB40748 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/r_syntax_plugin.cmxs |
| FileSize | 21876 |
| MD5 | 9CFAE281D450AEC46F1CC0B4C2B03B6E |
| SHA-1 | 0F18AFB20F888EDF655A424B9B367683A9006D81 |
| SHA-256 | 4E0E1444990F2AD1131A6EB09E22A32E6CA9023E088E54504BDE1330787893DB |
| SSDEEP | 384:xGvcJ5fx/tZX77A7wgCI4vy44qfYzs2TevQ+kqqWa1BXWaKD+mYuY:0EJ5fx/tZX7LgCI4vx4qfYzs2TevQ+kv |
| TLSH | T15AA2E837B3889C2EE8572E7804534393736C5F804A93D9678711F6163FB3A7916E6E82 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 469184 |
| MD5 | 2DE55F4FD9DB766DAE6262FDCE168B33 |
| SHA-1 | 1104D84C04E18A6E330A0B0591EFEDD4FE906F64 |
| SHA-256 | 7DC40582686DC37CCB8600A747ECBA8DA4C68827DEDA1602076A7AFE4DE45675 |
| SSDEEP | 6144:aI0fDC9R9LI3NCkDwsPYPyyw4+JqHyiDr5n0PK6+63mvn:oC9z0D4w7qSqtYK6Q/ |
| TLSH | T18CA4C806F34CE959D0175EB5888B03B2BB7C99806DA1E617424876387E732F14BBAFD1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 22386 |
| MD5 | 1DB58F009E42BD61DFB3FD6CF760F3AD |
| SHA-1 | 160CA50CA868732E2AF0B29C2611853A8229652F |
| SHA-256 | D769D0685918001483BF13490C148634171AFBC7E290B16428DE7712E5127C7B |
| SSDEEP | 192:0mX/7C9OM4nalGkrbEog1n8Xpr8qYxeIUr2Z05UpbnDpL0rnZrZfZZg5slvfWa07:0e7C9rdbBr8qMAIjqlZZg54XWa1u |
| TLSH | T165A2E80BEB0119B5D4DB40B3CEE243C55776D6B19A470E2F6A19472C59C3BB72E92E08 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/stublibs/dllcoqrun.so |
| FileSize | 50976 |
| MD5 | 42C1E1E382E075A879099F9B7C6EE802 |
| SHA-1 | 1749A4EAC11C11C4394E5189C5B7C038B39A5C11 |
| SHA-256 | 5BD80863655F257F7B3E469464124A1488F955883A5A8FF22F8B83BF916705B2 |
| SSDEEP | 768:hWcKaeO3eFgqL/CIsuLUBsludNqvLJoKUWkfSeOQgSMmXfEJ:hWfgwC3uoK4U |
| TLSH | T18033A7339C24B758C0A76A753E6F43D72E9CFC8845AAFAEBE5625A3467790F04033446 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cma |
| FileSize | 195628 |
| MD5 | 0D56BBEAFA33F5820E211BB9A33CA990 |
| SHA-1 | 1B3C932A3BE9742A082C0F6BC2D3084C58C91194 |
| SHA-256 | 5C3220335ACFBA16AD5274B9DE20BC5EC2F2FF1EE094E05DFD460D826B03860F |
| SSDEEP | 1536:MJMWyJ+J3jP6AhVSMyRIA/iRT1XY37GxPBWz0xBZOCvRaO0K1ghlsX1vNUgL4tlV:6mgBrr+K7l1uGaloSDpyUrxTaW |
| TLSH | T18A14EF4BB7014EA1C1E58AB1C6D78B956335E776EB030B1F608C975C2DC3B6F2A84798 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 859280 |
| MD5 | BF5C57B784027DAFEDE65A05F60C8236 |
| SHA-1 | 257F298B45D623132BD992F175584A3C438B98D5 |
| SHA-256 | 338E06D72D34195963348D3EE417AD004BBDAB991D8408B930CD7A0C029B8275 |
| SSDEEP | 6144:dH3ALmPsYTvmq/KEe2fDfSmZWnb+4/EsC4G9XMhsId7AT90qE5nuzRDnM40s/7OH:FsYTr/1f7M6sC4G9XiC90fEzZzi |
| TLSH | T14605E816B348B929C02B0E368497437177FCED845EEA6E17518476383EA31717BAEEC1 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/numbers_syntax_plugin.cmxs |
| FileSize | 39640 |
| MD5 | 99F661772BC658C4212C7F3861ECF808 |
| SHA-1 | 275A628B9EDB7D0C2091A564A9D52C64E7CDDC72 |
| SHA-256 | 7BB9C4C6DB84885BBB6CEC1379BEB84EEDDE27BE4EA73AAA59D5C3043B14CAD5 |
| SSDEEP | 768:ZRTuQKRvSmqFtfph+eTHyIpO6KhAxnreDo6kIAFqBhETCT:ZRTuwnp1Ke50A+W2 |
| TLSH | T1C803EA22B3D88929D026AE704B474B7377FC96404E9152AB9704B439BFB35645BF1FC2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cma |
| FileSize | 84217 |
| MD5 | 56311A1C2E794BC8DAB9EE0E1AFA4449 |
| SHA-1 | 297F3433722324A73E90D0DA97205E85538A17A2 |
| SHA-256 | BF4A37249BE7BB7CF3868F7EFF67AD5B34C65158DABEAA6A50F12C372DB92B31 |
| SSDEEP | 768:ymybCm94bquWFHqyzq6eVNgQtSqNRGjd2DVq5swjbdrzxWj1Nw:lybCm94bquWFHqyzqpNPtSoGjiOjCs |
| TLSH | T193831F4EEB115D91C5E68AB2C5D38BC52336E7A59B43072FA05D4B6C2ED3B6F1B80708 |