| Key | Value |
|---|---|
| FileSize | 1586100 |
| MD5 | E264B402B4EB7FEEAA8A888C9B85C5D4 |
| 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 | DAB780C128C9AC5123CDB2061E53C2B07DA33135 |
| SHA-256 | 02F35B4EF21C023A3A0CE8D992F241A39949E48B26291BB51FA15719BFB5332E |
| 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/syntax/r_syntax_plugin.cmxs |
| FileSize | 29208 |
| MD5 | 93199BB3954D5E1762D8E51896BD6805 |
| SHA-1 | 04B16DB1CA0B64F0324A20E29A379538C7B84D51 |
| SHA-256 | AD5B2629F1B7FD2520BD246F71A415D493579D0F895FB2E774A75E4DC64F4874 |
| SSDEEP | 384:k2aQjFhX5a3g8werjf37y/g/qmDmYIlrvZYIVz8BP:k2FjFhQzwe6YQ1YY |
| TLSH | T16FD2D757F356457DD5BC877C08CB82746AF160A22E80674319E433A97F62BE41B2EEC2 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/field/field_plugin.cmxs |
| FileSize | 81104 |
| MD5 | 8BB7727E9D26A03082EF4C9044A95612 |
| SHA-1 | 04D283619942B9B263E31DFAC8C5464C3AEA852C |
| SHA-256 | 40A9D1186B90C27602D0F3C31639821FA63923EFF80332ECD0504F3EF944B4DD |
| SSDEEP | 768:krnLajBBtwXrYIfMML7kwNiclIpTe/TrjBN4blhPgLnp1QFx5JamSYzs0:krnLa1wXRpJlIpqrjn4RYp679 |
| TLSH | T1A783B44BB8B95D7DC1B9C33C894396312AE1BA116FA1270E6AD037163F5259F0F6DAC0 |
| 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/extraction/extraction_plugin.cmxs |
| FileSize | 839488 |
| MD5 | 8B381039E12672092808DCB3E7DA1E67 |
| SHA-1 | 0AAFD4813E962C29E1AD2F6C90B4D6120662A872 |
| SHA-256 | 1003AA9DFC7C8D0F8E2A375512D4CFC59A6B3670BBA600574A2AA555974ACD29 |
| SSDEEP | 6144:FTFAjBaMrrQF/pJJdhOY2tYsgY1K19m65gvT8g7tmWfaKWvm8:FhAj8MgFRxaM19m65gb8gR0m8 |
| TLSH | T12505C65BF9C64B7DC5B9C63881A7123129F174985BA26B032A88B2313F525FD0B6F7C4 |
| 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/coq/plugins/romega/romega_plugin.cmxs |
| FileSize | 260512 |
| MD5 | F905868394695CC87D09CABC8AB1FFC3 |
| SHA-1 | 12152C886E5F35E19222529082B3A277027F26FC |
| SHA-256 | E51C0C258DCF9D2327A3626972F45B78F9F691B2FBF5FAE0445991F1A5FB8961 |
| SSDEEP | 3072:Gfq+tUg1ubRfLZujtZT1R/gQ3nbmhizdXn371UwV:GfqWSVutZD/l3nbf0 |
| TLSH | T1CA44614FF09A5DBECE75D6398582A2317BB0B4212B606B0325C477F62F425E90B6E7D0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 919976 |
| MD5 | 1A27887C23CB3F5CEBA27A6492669758 |
| SHA-1 | 1BB4A39391CB11B13D34BC4E95DB85BFAAD0399E |
| SHA-256 | D5C3F13F96D39C5F9965753F9D2D8875C505623C81CAD46D5E9F763D08B27947 |
| SSDEEP | 6144:CdGlqRJQ1VbdLugJD8+Ba8JSdy+vrkVzxDRh3x2TzmfMVpg+Q8gvZJos/J0:CdGd3jJTJSdy+QVzh36E/+Q8gxv/J0 |
| TLSH | T10715B48BE99A4A7DC675853E895B12312AF1B45D5B42AB0321CCB3303F424FD0BAE7D4 |
| 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 |