| Key | Value |
|---|---|
| FileSize | 6354016 |
| MD5 | 87A2154326C604C505BF5611C4516E6C |
| 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.11.0-1+b1 |
| SHA-1 | 7E8F63ED0D5F541CF7AE0F1AEB2FD84451EDF1FE |
| SHA-256 | B714804A5879FD2B6AB1D984D89999558EEA327C25D05568584DA24EE2588ABB |
| hashlookup:children-total | 49 |
| hashlookup:trust | 50 |
The searched file hash includes 49 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_notation_plugin.cmxs |
| FileSize | 41992 |
| MD5 | A2CFD2CEBFD6AF7BCE36607EEC938B9E |
| SHA-1 | 0411B92A0D693380777BC4F2A1B9DE556ED2C0C0 |
| SHA-256 | A8DE68B14261BE88E7973C7D94A8477D7AB8A99A3AF3AC8125561DEAE855D5D3 |
| SSDEEP | 384:8FBT0RzjbKb2DDseoYuXtN4pKW4JHZaGhVHqHeYu4X1:8FBgEeoYitv/aGhVK+94X |
| TLSH | T13213F8DAFE86883DCDB9227684E7413972B9F0439670932B435423142E637459B6FFC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 122792 |
| MD5 | F79F8CE2A495DF9AE3C47C42A83C54C0 |
| SHA-1 | 0429E1C070436924ACE4DAAE0206C7542B5417F7 |
| SHA-256 | 67DF260E1A28F41DEBA9AB7EE35726E811C4D08AF2E06CACABBBDEA7A4E34F9C |
| SSDEEP | 1536:3n9m9BYkePjnOH4Eb14yeXNy3gLtwa2h2oKufsEezqIB1:X9nkePCHjx3gpwaSKuIff |
| TLSH | T131C3F957AD958B3DD2B8863A84E606B27FB1F9294B70470311D0BB152F4399A0FAF7D0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tauto_plugin.cmo |
| FileSize | 56645 |
| MD5 | 315E42E6F8C24AD7C463B9ACE4F3656E |
| SHA-1 | 05A7469627900F1F53F888B4B0F92F708AACF6BD |
| SHA-256 | 5AA60E091F07B717308286C1A7C75854B68330DF8C92EB6AF4D111BA09C9CDB0 |
| SSDEEP | 1536:ck7rHGwzT5WU4OY6JnJ34SiE6CGvSul25I2l:3HH5a6jSUZ |
| TLSH | T1E443C756BB491820D8EC08FDD9F6F58F033806E55AA6CC1784FE46C5ACC2B191BE761B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssr/ssreflect_plugin.cmxs |
| FileSize | 1562536 |
| MD5 | 961919848F6BBE79A1B8F1ECF450AB3D |
| SHA-1 | 0607964B67385479969B3A7071E93FB1D19A5461 |
| SHA-256 | B510E11FA26EDE229143C8E96147C17E38A126AB6BA048319FC97BB8E1C2BA94 |
| SSDEEP | 12288:VC/lQH1c8Rkxkxu+UfoD4jKn/CHjWmkw6r/iN/Y+Wu+80u96GUJXGuUP:VCdQH1dy+UwDHsamrW/iN/lWf8baWP |
| TLSH | T1C775D85B9D594D6DC3F88339C56219723AB57A449EC0BB1618E432243F832A91FBF7C8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmxs |
| FileSize | 28592 |
| MD5 | 78ECC950CD20AAC5DBD6DC022DF4B6D8 |
| SHA-1 | 07F04287366F34321FD3295F93A623D32D83B77D |
| SHA-256 | 5FAD10928D50536CD4DFC8AEC8EA611053FBF8173D8497C198F147918DA6300F |
| SSDEEP | 192:RX3/bt8q4a2cOWDgtRFyao+cVlKuG0GXS/7F2CZG4F5aXOFjUSJIESTs78iriae8:NlHIXS/JZ/aXYI2eSQV4A9QPNl/Z |
| TLSH | T14FD2D946BE5D8A7FC0B9423E8497407237B0F516FBC19316539137181DA123EBB9BE4A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/omega/omega_plugin.cmo |
| FileSize | 857552 |
| MD5 | 449A05922AA5CFF35BE449A1929569E4 |
| SHA-1 | 096F2F9D71AF42E69633BB6BF4F5A2F3E59C574D |
| SHA-256 | 7F0BE68784CD5C3BEF527CD01DC4858A51403B79F06648A2F9F502EA2A5CFD2C |
| SSDEEP | 12288:nr7tyE23l0Yg2iKObwfkuunM+ldwqxs2A4BS1PUWX3:fV23qlBsfZodwqqcSdUE3 |
| TLSH | T19B05E70EA74E4E60CAF9C5BEC8C853EB1B1C47A423A3C6FF04FD42956E827592F89545 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/user-contrib/Ltac2/ltac2_plugin.cmxs |
| FileSize | 1186056 |
| MD5 | D29A7E0C37AA3A79C043BB827B7E770A |
| SHA-1 | 0D4DB9ACDF03E92E08BCC4749DCAF7BF2130AD30 |
| SHA-256 | 9DA9D771F174B496A59EFB585CB7FD1A861597D2083C8F3A5510BD9B634F047A |
| SSDEEP | 12288:fMw8UgwiCnCuvd4wnRe36UBdGR4frj2zUuVXyw:fMIOuvpRhUcC |
| TLSH | T1DE45B65A5D99CB7EC1BC81BA495241F97AB0B5585B50EF031DC0BF202F831992F6FAC8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.amd64.gz |
| FileSize | 225 |
| MD5 | DBB7E3F574FE41B4B76F4FF30E877090 |
| SHA-1 | 0ED29ECD495485EBE3A4A885206321436F5910CC |
| SHA-256 | 1166B79B93E1F3874C3A0F5358038AEBB9873F825B5D4F9435B8116C0D2CCF77 |
| SSDEEP | 6:Xt+Q/neoJBklmrSBXc3AS7TTcxnnbK3el7f82:X0DoJ2mrqXCTMbK3g |
| TLSH | T1A0D0A7082F3678007863C9B8508A02199C9E9D511141116559605AD437E59AD8FCA3AA |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/int63_syntax_plugin.cmxs |
| FileSize | 23704 |
| MD5 | 2DCA3FF877F480417D35B8D84B9067EE |
| SHA-1 | 1288948277AF21FDAA62FF8881C995B8066DB763 |
| SHA-256 | D84C1B911E4DAFF0B62CB03C5519C6EFA9785C12F9F360F90F171444A1DAEFD4 |
| SSDEEP | 192:RY918crkznd/gjK3DLUVDyL78irTaexhda2tMS5SqvAoLic:69pAgeEhefIVSMLop |
| TLSH | T14EB2C555A7CB953EE4FC7DB5808741383FB0A518275193220EE9334A2D72AED5AD7C43 |