| Key | Value |
|---|---|
| FileSize | 5608784 |
| MD5 | 564393D381A0F08F6C47E901BA64C076 |
| 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 | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.9.1-5+b1 |
| SHA-1 | 0EBABC24F84C4E984BA6937A9CF6BABD62CC5C82 |
| SHA-256 | F36112DB9F85521D2DA43E776BABF6029937581DF701C2280BA9F53B353740BD |
| 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/cc/cc_plugin.cmxs |
| FileSize | 160504 |
| MD5 | C73723929B463A61A033F5B65A88A165 |
| SHA-1 | 0E73B7A698D800290FB8F13957DF93A56EB55150 |
| SHA-256 | ED361BADB1DB8B906875F82C187979E077CD430815E2665E7DC953ABF8B7237B |
| SSDEEP | 3072:bNrKpq+5h5Sc+hp5gHqJJnBelYmzv0ozo1pVNdG3n9tnIH1gCXlfgvYHveOXLeuv:dHbNdG3n9nQcmppJ |
| TLSH | T186F31941788CEDA6C495473A700B8F962375D289B7CFCB027829B734AF172941B6FAC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmo |
| FileSize | 35562 |
| MD5 | 5FBF8554711C4DCA69C1FB919CB8B15C |
| SHA-1 | 162A04BA55A51A2EDEB5A85A363F858A49944782 |
| SHA-256 | 8B625E0601BCE532292ED2FFAC639835C64473659D6B69FC1B5673F8C6F4F939 |
| SSDEEP | 384:Si4e5pQR0mZbczPLy0fWRT0U7KqxOzl9rp+73Rr4tfZpy2vnoHfuJBnKR9qRTlPp:f9rQR0uVJ0N9xJFg10Gx/B0ua5TLDv |
| TLSH | T1BEF21A4A76452861F9E945FFECEB408A133846A5D4EBC42A97FE07821CC067D1BD7B0B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs |
| FileSize | 167780 |
| MD5 | BEEB538D1C8F155765AC94F2DFC80CB7 |
| SHA-1 | 1670A0430F4CB0DBE4DBF5E5AB27C220332AB3F9 |
| SHA-256 | CB35D1CE0EC801025C6CF7F6A8CD76797160AB06CDCF19DE4A935575469067BD |
| SSDEEP | 3072:E7XwrouVEjQlZQJXnwv6YieHBj3q8J8vlT6kVkhGG0C:uwrouijQsRvY/idT6kVkhGGl |
| TLSH | T16EF34B04B80C5E66C4A9C57B745B5DD1A3F4DA8863AADF06F99533282F2332C1E4F98D |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.gz |
| FileSize | 8843 |
| MD5 | 3D5659A9AE089B2C3852A3DF44E8B516 |
| SHA-1 | 18B75666B54F972AD13DA7E55B2455EA7A50389D |
| SHA-256 | D46D2A2B73A1E5B8E046C951AA86A93EDAC4609E7F9C57938706AB79B5BEBF00 |
| SSDEEP | 192:FcP0sF8K9a683088KnlbbZWwCphHO4jlMKGz/VY4bl3g3D6iK9J4c:DsL9m3Dd5gvhpjAzeuQ3D6iK9Sc |
| TLSH | T1AC02AFE4A932756C7662CC4FF4D9FD7565883308210EF81960E651B9632D1D2BE68D02 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmo |
| FileSize | 320847 |
| MD5 | FB81EFA1EFE573DE5C98DD49BCEA1629 |
| SHA-1 | 2164B4ABB0084A9E16D7F06C84CF780CAA73D88D |
| SHA-256 | 13E6D4FE53AD7A7405A42028EA1C37EAEE0150E37FBD52EAE2F2CB5743E4474A |
| SSDEEP | 6144:XlRGOQchTjWjz7Tf+D2dLO+XHW6whlGUrKLQNLX7:XlRG7chIn+DqLO+XHW0sNLX7 |
| TLSH | T108648509790958A1F8EC55FF98F663CE0E1C4669D1B3C91FC16A06D19F83B3A1F82E46 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmo |
| FileSize | 180403 |
| MD5 | 3DFD2D5F384CF602787C7C0A60D8A7F7 |
| SHA-1 | 2D26895D84AFCFBDBA81AEDB9E9A500A2E83905A |
| SHA-256 | D24B636BDB5F62BA1B6A4A00CB99B19CEB72EDA99F9905FA5381B31CF19417EA |
| SSDEEP | 3072:KQSbRY+iFNdBkL0Mr6YYpVMdAf3tIfxOQJCzZL:KbjiBBjwG2dAt2On |
| TLSH | T18F0497077FB95D61C8BC09FE94F2958F062849A9B0E2C82B80F98F865DC5B191FD7712 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/int31_syntax_plugin.cmo |
| FileSize | 28215 |
| MD5 | 8DE9897845E10E1146F2B177058BD37E |
| SHA-1 | 320DCDC7D59D8D19E4FB1B989D16870399C53F9E |
| SHA-256 | 02B44C32BC36122CCF12ABF0DC976B5DEC3729EDBEFBD6818A4E722CCD50B2F9 |
| SSDEEP | 384:4AgnIpUr0mZbczP27NUu31POV6cc5t4c9gtBfuflpr5X0gMh:nxUr0uvGulOVtncEBfuflk5h |
| TLSH | T125C2A505F6C50872F8EC2DFE98D6404E4F35067CD1D2CA2A84BA46D52CDDA1A6BCAF17 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cmo |
| FileSize | 93597 |
| MD5 | F86CB19E808531A5BEE7EE0A0B875927 |
| SHA-1 | 385A07160E021777C5094F3EC56D7A1EE60C826F |
| SHA-256 | B7E55B69AE691337F0B05A6A3B59A53B933DDF41FEBC6F076791A4F6D2D499C0 |
| SSDEEP | 1536:MSR+gjMlQUaugzedLG+EHrGFChJy+7yub5i/JpIHn0FpmO/bfcRZM:3jqgzeFCHyFGmu1kkH0FXbfYZM |
| TLSH | T12393A60976466922CC9905FDE8E2C5EB4A2C6769E0F2CC278D7A4AC79DC176D1FC3312 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/ltac_plugin.cmxs |
| FileSize | 1552628 |
| MD5 | CC84DAE0CD097C9197770744CEB370B8 |
| SHA-1 | 3E23C7406BF733B158A6B0A73D77ACE6E6410371 |
| SHA-256 | 64AE23B8C17E44777E64148838A8098CE8D3D7A6BABE0EA0BC9C156AAB795C00 |
| SSDEEP | 24576:1RaYZEXH/p5y0VgtLd0QpCJMIFRhR7+MQE/9DNECha:gRhRCMQ2bECI |
| TLSH | T1D0753A17484EAE76E2ED8A35F4067F836328D3C85F8E6A15286D26903F4726017DFBC5 |