| Key | Value |
|---|---|
| FileSize | 1438666 |
| MD5 | D1751EC02977EB9B65360B974BF8052B |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | libcoq-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.4pl4dfsg-1 |
| SHA-1 | C1F95109005B1FF08950214BDA6AD6461C211F5E |
| SHA-256 | CA0E7A78D39047603A87FA2F5B700E8EE86BD70D2C3BD8EEB1A6BC2667BB0D73 |
| 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/field/field_plugin.cmxs |
| FileSize | 63848 |
| MD5 | 7F1BBFD573461310344F11AB9A301475 |
| SHA-1 | 05006F059C02EE9C88CA2E9B873437D8B31DF28C |
| SHA-256 | 402593BA5C624835607153193347C37E1235899F44CE2A22EB57EE256D425F33 |
| SSDEEP | 768:GoiwBBTu1xWErbvNDeeye4pJTB3PVGZOZdphFRmdinUx5JDSYoHlm:VLuCEvvN9KdphFyFJr |
| TLSH | T1BE53C543BF99897CC0B68F340EDB57323B72D4052AD76A51BB64B34A2E406990FB9CD4 |
| 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/syntax/z_syntax_plugin.cmxs |
| FileSize | 23584 |
| MD5 | D41250E0B163C9D4FF33077F8F6D81EE |
| SHA-1 | 085C08DD6393B11E160CB6F60DC1B9ACC660EFCD |
| SHA-256 | E4CF2C1FF12EFED2BDC5A9B6A1D9EBD52F04189CC05A0177972C18B01C5B7F6F |
| SSDEEP | 384:n09u2hhJIXUbuo79+tk1j9i/AbyRosKn+mmoLRsbAxg7scYIBB9dYIAz8Bt:nSu2zJIXUb3B+tkbi/MyHK+5csby43Yj |
| TLSH | T11CB21953F7C6463DD0B60E744AEF0B2D7B31C2666C835721267973881E10EF81A6ACD2 |
| 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/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/ocaml/stublibs/dllcoqrun.so |
| FileSize | 34560 |
| MD5 | 9F468E35CFA7C23FA0388B6E76EABCEE |
| SHA-1 | 1224842B207E590529F512A55481171D1BF9D9FF |
| SHA-256 | 3511A796FF3255FFFA67FB354C9D4A18EE90E851D5D653BF75C8E740F8F94285 |
| SSDEEP | 768:6iyg6cyFf9rfmRzE/Hz6xo0NOszbR5Xl/1587K2lZd2:666l1fHz6xjFJl/1GO2lq |
| TLSH | T181F2572BA968CDB3E4B0D7313E09C77A801156BA2365E313660B3F896771BFD7095B06 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmxs |
| FileSize | 209696 |
| MD5 | 0F83D70866F5BF2DF3AD010D16604BCA |
| SHA-1 | 12F150A3D51A31825B851D0DA5A0F2A2B9770651 |
| SHA-256 | 4225F66B504FDFBA062DB1042E24F2B34EF9FD8B009E7F3654A020657812D278 |
| SSDEEP | 3072:Ugnj/J2g4/7lYebS5XcYrMXthhayWriRMlEnsoFdwFvQCvZOmljWYZIQZNF:Ugn74gpemMOetNWujqvQC8YZIQZNF |
| TLSH | T13A24D583B44D8D3CD1B74F7284EB4B36393295063FD2BB5AA154B3392E036E81E656E4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/romega/romega_plugin.cmxs |
| FileSize | 212168 |
| MD5 | 47BDD3123FD882FDD139247B99C62F81 |
| SHA-1 | 1603167F21AC435EF71DADD9B32F90DDE182EA83 |
| SHA-256 | D51724484BC16B35D5F9A0633DB606743B5BC0EF7980DFF2CA26EA759A2A8EED |
| SSDEEP | 3072:px+G0A3om7hfg+JAYzTeyE4VHCU9JxODsEhoTQd/pbQ1G:pxA+hjXFE4VHCUPxODsEhoTsxQ1 |
| TLSH | T12324A383F4899E78D27A4F3084DB1B353E31855A3F96EBE560A8B37A2F435D41E166C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs |
| FileSize | 185956 |
| MD5 | 90B1C0596C70B1339505F44961AE0E79 |
| SHA-1 | 207EF2174F8C1BF2AEEE89D96179437BD7557109 |
| SHA-256 | 0D186D758666E9A1AE22F5164BA9FCA070E6C918018440A7E66CCAC687E3765A |
| SSDEEP | 3072:/+xdQXlFnpbltXizZkRzqh0EF3RYcZj8iQr6GALcjansJqF0yiJ:/jFnpbbizam3mojqr6GALc0O+0JJ |
| TLSH | T1A804C683B449983DD0BA1F7109F78B217A35884A3BE12B51E134767D1F22AFA1F66DC4 |