| Key | Value |
|---|---|
| FileSize | 5401620 |
| MD5 | A0767D4168B666C9820C4872903F84CD |
| 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 | D3CC99B51AEB7B24A67D3728A01C467B0E1C1564 |
| SHA-256 | C069226D67E62738F667051F404AC046CBD8DDCFAF51AB0847FBE10AE2F87B67 |
| 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/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/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/ltac/tauto_plugin.cmxs |
| FileSize | 40596 |
| MD5 | F3E5A3DF276C99C40C2E7325AFD060A7 |
| SHA-1 | 1D44DA6502DC981D39604FAC76DC8DECA24A06BC |
| SHA-256 | E886A46309964698AB2402A178890C6E055BE0A3C7400324FAB168FDEE452149 |
| SSDEEP | 768:omCRReWjVlAchuSlgVFody8mJRENxWtwXMTw3clLpypcKkR+Ak2fJwrBy05NaSu7:QReWjVlHuSlgVFody8mJRENxWtwXMTwg |
| TLSH | T16A034B3EB799DC7AC0B54A7049DF9B663172E5821A7BFE111168FB483D106900BE7AC1 |
| 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/syntax/ascii_syntax_plugin.cmxs |
| FileSize | 23784 |
| MD5 | F10C8753CD98903BAFEB7275E9DB9633 |
| SHA-1 | 217487C6CE012E33025802B740D213CC94188CF8 |
| SHA-256 | 33692A471024051284511EA0CE37BD46E34A92ACCA71960999E284A563791B6C |
| SSDEEP | 192:Z4I48/3b0NQvDdxJcDceNMdrtK0FWKvKKcRUwwWAuxzq+IzjY1gMeBzthCSbo8/4:Z4IhDDYPqFtuafcRRw2xa0gMUBoKnQP |
| TLSH | T106B20831BFCD8C7DF0FE0AF1849B4BFC2F75C2261991772215A8E7882921A55456ACCB |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.i386.gz |
| FileSize | 221 |
| MD5 | 60966B1E0D1A3A220E127B33E020FCB7 |
| SHA-1 | 27463CE61398437050D008C0FD848535402460CC |
| SHA-256 | 62847824582D29ABA18BD6F8DB6AA2F6822DF706FB2BCCFD8E5636BCCED9806C |
| SSDEEP | 6:XtLyoeRM7hZy26+p6O0y3AMAvbVqmf/at4/rE:XJVJj6+QwoVvf/atyw |
| TLSH | T1FCD0974034DC2AA2E682D9102A1848F343ED238438683E08AA3A20410024A80CA88D89 |
| 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/ssr/ssreflect_plugin.cmxs |
| FileSize | 1302444 |
| MD5 | A10C27719503D24C09A7EE41C155101F |
| SHA-1 | 3484581F232791415D1E4BE4A8D7638A94ABE0C9 |
| SHA-256 | B7C7A7AA74E0056941A3B8218B86AD5EC04C82564BE2E8CBD627A497939B4853 |
| SSDEEP | 12288:uNKaKmjr0t05s6oR7uLEvM0LwvsKwNqqF5BrFrp9gywQLfSGEJPPP44aUuS:8v7jr40yPZvNLw3gDF5BttfLwPPP44p |
| TLSH | T1EB55F752ACAD8C7CC1F88F7189AB8F793939C1922A56BA31594D3844BE073D0079F7D9 |