Key | Value |
---|---|
FileSize | 1538216 |
MD5 | 408946D67FF7EF25805C2BFE45E7AAF7 |
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.4pl4dfsg-1 |
SHA-1 | 4855E0BA58E776C7348A24C0581DBE82681BE142 |
SHA-256 | 2CB7A12B8B58A3BBA6007EE151D4DF6EA338F773649101DEF66F3263A4AFC4DE |
hashlookup:children-total | 51 |
hashlookup:trust | 50 |
The searched file hash includes 51 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 | 15340 |
MD5 | 40D92D1CA172997B883A28FC504AD405 |
SHA-1 | 01C35C8D75E71469A832002A8C32877B9FCA9353 |
SHA-256 | 46B4A26C4E2D5989C5291F73AAA6F16FE7491BD2EC3507D0D4145D27D870FD0A |
SSDEEP | 192:j6Ubm08pJu2cE0UDZxdNnXBJmY1SYIShf62q7SPdJDYI4NLwJzOvPAmTHt0u0hg:uUqG2/pt/1TH0YIdc/YIHz8Bjmg |
TLSH | T1D162F9D7F594AE3AD0D42570725F420437A9C5876DF387B7AA2063D03AA26E8473BE43 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/xml/xml_plugin.cmxs |
FileSize | 309936 |
MD5 | 5B7DA403E8B95F6F99CB900968D966BA |
SHA-1 | 02DC4AA39D4416822B8C71E3E3CF849A3CDF5C60 |
SHA-256 | D56C8689E4418686C8B19A0FE089BCA0546501FE4CEE10F88AECA7DA06524384 |
SSDEEP | 6144:e8K4J0lpXwZA+fLOV9xilNkrbJP3ibJP34TNwN:dJ4wK+yfkk |
TLSH | T10064B68BF5086EBED0D6977AB46A57107660D15A7FC37609A420B7203F621E9063BFF0 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cma |
FileSize | 285741 |
MD5 | F6C64F168AF1649B3018AF813CFD3170 |
SHA-1 | 083B2225B785DCA7DA3974BE6EF919070E5419F8 |
SHA-256 | 2E67AB7CCEA06DE89BA1E0C6776F60EB0DFF1D9CC04890612992732D55E7F3FB |
SSDEEP | 1536:c8Lh8SM7WnfYQdWtLGxPBWAMh44HHiMUOH9ZUdEpBVaLSWyJ+J3jt6jyJxWyJ+J5:rnpYKdVbpzOr5SbDNVOAPeOxl08hCO+ |
TLSH | T17054BC4AB7015EA1C1E68BB1C5D78B992335E776DB030B1F608C976C2DC3B5F2A48798 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs |
FileSize | 320588 |
MD5 | 3793BF4D79FFE856DF25703710C261A1 |
SHA-1 | 0CF2B4C8914BAF3FE4AFF22D44707DCC9C6A09D0 |
SHA-256 | 0710E414117A2ABEF12A13627ABF6914A2B499F8831BF4FAFE8147E9DB8E8388 |
SSDEEP | 6144:qRvicHDVay0YYg4ZH57OFO4ZM+WqVBFTlYr:q8cHilZOFfXlF5Yr |
TLSH | T18964B346F4846D7DE4E601B6F56E5B1172F4E27E7BC75A0AA401A3283F035E41A3BBE0 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cma |
FileSize | 373234 |
MD5 | D806596C321C2F6D023D3C8B40ED7D94 |
SHA-1 | 0DA49E087F567996AE0B9CA9A632DC781EE0952C |
SHA-256 | 19AB980AB3B926182AF64913BE5D1E4F60EBD6716F1F56C276EF94B646C55C58 |
SSDEEP | 1536:1i2UxB1PsrzrqhE5lxtZATVgto0R/2s4tThYwtBUsHA5My4a9kcNkTROUC9ga2Gu:N6EJMBg1QsYlYMOlkTR7SnmzqYUMpT |
TLSH | T1F384304BB7014EB1C4E7C9B3C6D786C41326A6619A430F1F259D8B5C6EC3BAF6F81648 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmxs |
FileSize | 690064 |
MD5 | 0ACFB5A8011A93FFD7F4B5E963CFBA85 |
SHA-1 | 11B01E06FF73C539762EB01C04E84C675B1F77CC |
SHA-256 | C5ED1485E37D5C05E6A5B57DFD9798878CCBCAC126517852CB24C31EF33DE735 |
SSDEEP | 12288:y6Ylem3pcMyzcOk/2y4vtuMb1ZhvJVfSMcjUmSaao0K:4Uip5ROiAFThZjVfejUmSaaox |
TLSH | T1BAE4D546FC4A6EBDD0E605BEB45E57247660E2A77FC79B467444B3303F430E90A2A7A0 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/syntax/nat_syntax_plugin.cma |
FileSize | 6282 |
MD5 | E740DA10F124194DE640F0EDDBB1FE40 |
SHA-1 | 11D367D19DD73604B515732908B1CA84A6A4BB40 |
SHA-256 | BE820FE4A3EC838815CD9564F19C86CEA28CAC8188481750C55D849AA29C6243 |
SSDEEP | 96:fsAQLZMZBFExAx+YtKAPbT4itPVAwhbmPAKYtKNXoPbcCwtIVROphbPAf:MWetYISQiJ2i4AKYI43wyzOvPAf |
TLSH | T1C4D1FAC6E7027BB3E1EF05B7E7D2419D03B515935553C97822E807987C8BFA336A2A24 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/fourier/fourier_plugin.cmxs |
FileSize | 90860 |
MD5 | C76C691DA29F5F23E74367A0DD0BECFD |
SHA-1 | 1AC8EBFB751D9D4B74844639B48532146FEF5C6E |
SHA-256 | 9D44B48BE48DE1D68CA21F1343AB427F771E63C5425EF8AF9883867D47A8E986 |
SSDEEP | 1536:WGfWZtg2JRPkaiy+wuZQPybhJARFP/ra5PJ3keGlUi9JY:Wj+2JB78ZQqbuDa5xkeq |
TLSH | T10793D543F408997EE0D59634B29E57107390E20E7FE7A70FB448B2247F534E42E3AA96 |
Key | Value |
---|---|
FileName | ./usr/lib/coq/plugins/ring/ring_plugin.cmxs |
FileSize | 147640 |
MD5 | 3E0F77F6B19A243249448D1818A009E1 |
SHA-1 | 1B62C923B4DFD41A17DC7774296059F4AB30FD1F |
SHA-256 | D2BE8D9D917E7197B28237712463D26F72B9BDDB951486427FA8D65F5EFC2CDE |
SSDEEP | 3072:JnQnJ0OmJeKuqvl8onl942D1joAG7HoB:lMavu0nL/2HoB |
TLSH | T1B4E3C78BB144AA7DC0DE5778B09E57547276E1627FEB560AEC04EB703F021E50B3AAD0 |