| Key | Value |
|---|---|
| FileSize | 1489658 |
| MD5 | E01B625C89244CBE647A278B5277F4CF |
| 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 | AA9244590DC7A247E1121326863FE3DDE9A90C41 |
| SHA-256 | 000A0ED30CA643BD5F147EC037DE5AB71CADC2757E42B2108F080F24FD5B5301 |
| 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/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/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/xml/xml_plugin.cmxs |
| FileSize | 328192 |
| MD5 | CC4729B744D23AB77ADB8A5F4BFCF05B |
| SHA-1 | 0F891A71CE517BE38C934ECE290544DDC5F0E51F |
| SHA-256 | 70A1E4E76581E9841CE459C19EA5B66EC61EC7035747B91524DA1FDBDC37508E |
| SSDEEP | 6144:UOOTZ93hKjMQxBWUgNw068US/czbJP3ibJP3xNwN:XO15sjV+wh8Up |
| TLSH | T18664E7C7FA488E7DC1B55F3A04F70B2025328689AFD1F69561A476793EE25E803369F0 |
| 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/micromega/micromega_plugin.cmxs |
| FileSize | 745572 |
| MD5 | 958F9BED5A3DFDB50393FC18F0899E23 |
| SHA-1 | 16309D4CB1E484645DEC82D75CD0ADDDF6A2A311 |
| SHA-256 | 802A9C8756E540DD419445C53B75D890E28AEB6461EA11D2EF2FC01A874CCD16 |
| SSDEEP | 6144:pQ4zJQ1MzEJHNPCkoK9VHLgbScVShDvRj10OWW0KJs0MgkQWgTyogxfr5clJafU0:pqqGtNoGc4zRqeLbT/dax9S5ET |
| TLSH | T11EF4C9C6FCCD9F7DC2F50F7544AB4B763932448F16956B2122ACF12A3E015E80BAA6D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/cc/cc_plugin.cmxs |
| FileSize | 157072 |
| MD5 | 197A72B765934A84BAE9936F2964CBA1 |
| SHA-1 | 1FFECFD095EA8D23453C52A2063FBCB77AD5F40B |
| SHA-256 | B79FD12D2526A203CD977A3151837EA33830DDFF0041C3066537F6B4C1864858 |
| SSDEEP | 3072:zLENEGNfmh5S7RWD0WDR6UA9xm5W9V08GPv:zgP8IE56o4V0tPv |
| TLSH | T1BBE3E883B84488BDC2BD4F3845EF4B36763285457B91B71A7078B2793EA19D40F6BAC4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmxs |
| FileSize | 212432 |
| MD5 | 3B6C6BA8F0288C0A10EDE4A21157F54F |
| SHA-1 | 22D8B00C766ABECC7EEEF518ACD25D0FDC539C04 |
| SHA-256 | 5741FC52FE23A1A64FA155A27375EB4A476783E9A9BB614887B090DB2FF963EA |
| SSDEEP | 6144:9xiFRJ92rQzI9rnljPE5kbyUPxOc0499bSoQu:6Fk3lZFP |
| TLSH | T17B24B583F5899D78D27A4F3084DB0B353E31851A3FD6EBE560A8B37A2F425D42E566C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmxs |
| FileSize | 658808 |
| MD5 | 25A2EC0B218942BD85D69046A303D5FC |
| SHA-1 | 2477A7C834473FFA7367063815E87FDD39F15135 |
| SHA-256 | 3223556683BFE27DB1FEE358A29010872CCE26BB3FD42A0A960D79F216E9F3A0 |
| SSDEEP | 6144:JnMzdwMrrQ+eG8N9FOGQFGfUmJ6iGjIT3aLSanrb83zRkxMYidlAWI08:JowMgT//UVf1IDaOz3zOx5i38 |
| TLSH | T1AFE4D647F88AAE3CD1BA0F3344FF47353731A59A1A99B7122518F1353E01AE8076ABD5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cma |
| FileSize | 23151 |
| MD5 | F553F9024F360A831B3132B4832BB2D2 |
| SHA-1 | 2491C7D4EEE5A0CFE3000458DC17A2B7BB6EAD37 |
| SHA-256 | DE48E21E423B867214056F2C812D57450559617E3E9B445C188861EE62CE3B92 |
| SSDEEP | 192:/ASCHHkspijADyxIminbu2q7xAU9YtamXTLU2Z05UpbnDpL0rnhAIzqiLe2gCAiZ:/gHHksGQyxIKZejnjYAIib8YI7z8o |
| TLSH | T10EA2B847FB022AB2D0EB41B3CEE252C05366D5A25D874F1E2A5D475C69C3BB71EA2D08 |