| Key | Value |
|---|---|
| FileSize | 22554056 |
| MD5 | F5A7A3EC9D47AB91B684A18FC0F0178C |
| 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-core-ocaml |
| PackageSection | ocaml |
| PackageVersion | 8.16.1+dfsg-1+b1 |
| SHA-1 | FC0F78E4035DF23681BD8A31AE972CB145B0E1DB |
| SHA-256 | AFA3418E3C583AE675ABF464A55E0D327E8F38F931AD4CF1B8BAD0DE43216938 |
| hashlookup:children-total | 81 |
| hashlookup:trust | 50 |
The searched file hash includes 81 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/ocaml/coq-core/plugins/micromega/micromega_plugin.cmxs |
| FileSize | 1385888 |
| MD5 | 6F834B215A7D82A2E26D1CF96737DECF |
| SHA-1 | 01C13FD7BFE1EAA92D0F8D24F53B70EE373F99E8 |
| SHA-256 | B175C76E6D9F49C8E0326D2A65A1541E66EB22762A4C0FF5A8E08A196687E4BD |
| SSDEEP | 24576:K/C0GfsIHBtBNImvBdR2PwkeUtE4oyELP:FBfsOBtBNIm5dR2IktE4x |
| TLSH | T15255D74E1E8E892DC2F9827AC45E5BB67F71B6925652EF1214D065203F035F92FAF380 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/vernac/vernac.cmxs |
| FileSize | 4003768 |
| MD5 | 6E6F7DD31FF0348C2D8EAB36C105D3AA |
| SHA-1 | 04CEAD418AF71DED5BA13027CD24EA33C5C5C58B |
| SHA-256 | FF13AD1A4F703605B73BD788CCAB68EFD8ABE1132F2BF20DDCE88B6C5D9BB618 |
| SSDEEP | 49152:k68ZH36DKJn13Hv9ZsdLcEBLa2QOFIlooJ1z/O0Dre67ZHWlXeXRMBxI9T7BE20r:eZps1FB |
| TLSH | T1C4063B169DA1D57DC7FAC239C45A0B3ABFB0B5609E916F17049022210F53AE72FAE3D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/rtauto/rtauto_plugin.cma |
| FileSize | 180585 |
| MD5 | 8879E7D11463A6394F3BC43758B5BA2A |
| SHA-1 | 080A36EACCAE4379E9DA3CAA2052BB2CBBF34237 |
| SHA-256 | 74DB7F55E9034E61A665F31E2D3D9544A43E0E0676692AF922FF60A26C1E56B5 |
| SSDEEP | 1536:ZIpvkU+oTCtxVbytHHaL2e9DiqOYJCFLXpiHczVZ8MpuIkya7YAJkrh+SoPdnqCt:S5k3ACPVbLncYYniiplkhYA++VRK3Gv |
| TLSH | T1CC04094FDB261A66CCA909FEDCEA429747E4593D40D04D3FC09B0AD9D882B0F2F91D5A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/ltac2/ltac2_plugin.cmxs |
| FileSize | 1493432 |
| MD5 | 6685E5714883E7C742364B1A3B907674 |
| SHA-1 | 0A1599CA8C1B56F53EFBD39A912C50FA0F8881DF |
| SHA-256 | 704BBEEA423135CA03E945D84E6BAFD011659E8B063CBF61B371EE63D94BC093 |
| SSDEEP | 12288:t+owA39zJ7+dhoDUMYAUOo6anaOWrFknyawT4TVwZf2wB:t+ot39zJeooMYAKhaVrFknyawb+ |
| TLSH | T15E65F82A8EA88B6ED6BE813A804547B5B770B7445F91EF1B019166203F437F50BAF3D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/top_printers/top_printers.cma |
| FileSize | 199593 |
| MD5 | 4D6BAD4D01739CAEBA23CADAE4B16D4D |
| SHA-1 | 0E22C6B23EE1C4C0CA050242D09AB1E95E71520D |
| SHA-256 | 7F873B013CA8F1C8215DBCEB6B9C5A6841AC1279D181B5F5B7D323753C16EF08 |
| SSDEEP | 3072:dxFkKLNcg88HIzQmCnhs+MdliKEaC2xiNBwNf67F8LFWntwILk57HWTzYe:dxFCeHHmChsL+KQNc6J8wqII57H8n |
| TLSH | T19D14064FEB126EA6C9A989FFCCE541CB47E2492C55925E2F118B43E9C043B1F6F00E56 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/plugins/extraction/extraction_plugin.cma |
| FileSize | 1755496 |
| MD5 | BEB53267776BDE73060CC5985658D05C |
| SHA-1 | 14BE87F69EAD76B35F9B06825250DC4DE3E2E214 |
| SHA-256 | 51B7A454AFF3066B81785E92162AF04488D8884B8504075DC1E3F2A4D897255C |
| SSDEEP | 24576:OVWw2nw6OmZQekhNfFvfQTFtismB5QWfkBuFicNzZGk7oN:BjQsmB5xFl74 |
| TLSH | T11D85290FEB9669B5CC9A49FE8DD942CB07E1592C42834E2F469F02D9D543B1F2F02D86 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/printing/printing.cma |
| FileSize | 692842 |
| MD5 | 9B5ED50AA32A1D0B82764881D2473C43 |
| SHA-1 | 16494DCE41C9EA1CF7C018C9C3697CEE632D1447 |
| SHA-256 | E98F6F196CB32C0CCCA647C3CC850D0F641761299E0DD8FE2C6F698318F60D54 |
| SSDEEP | 12288:SZBni1uyY2L1g/v4hRseOvRlOlMhPtaRap7wKtxC7CHehL:QnioL2L1/PlkKw7wyC7CHeN |
| TLSH | T1EEE4074FEB6669A9CD9549FE8CD9428B43F0093C51C24F2F819B12E9D143B0E6F52E87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/clib/clib.cma |
| FileSize | 1463383 |
| MD5 | 8C95DA5E4FE993E608BA7F6DF3429802 |
| SHA-1 | 179FAE985B015985BCE1BBC9121F422143FD00E3 |
| SHA-256 | ACCC5435BBCC88F61FFC3C42D4E3A0D7CA696FEFA18CCE44E0C8B8F9339CC7B3 |
| SSDEEP | 24576:UHCsrkgdLkTInjGsPC5VtVjhmqDufXrRIbxyRTJWB9QgmJhCMmX8DfM:UHMQLAsPlRzRS |
| TLSH | T1536571BEE7564622CE9B25FDDCDB711306A0153B85D8DC77C20A06D088B6A2C3F969C7 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/ocaml/coq-core/gramlib/gramlib.cmxs |
| FileSize | 183568 |
| MD5 | 91ADD42E106DF22EDFF55E6B9067111F |
| SHA-1 | 188F83509C353EB1EC594B63D9AF56AA65078BF8 |
| SHA-256 | 1035F741106FF0710E9F93527CCD645298E1EF18C715D9BB43D38E0BD6FE2D38 |
| SSDEEP | 1536:gzhI/1Bb00f8MMXMMBqbrPM3LIdpmAVeU9ahKFtBlbD6h6VEoG1cluPN:MhEI0kMMCM3Cp7eU9asFpK6KoTu1 |
| TLSH | T12804C6077DA58D7FD1F5827989A606B1FF317922B312771B28C027341F42A5A6F6EB80 |