| Key | Value |
|---|---|
| FileSize | 3798220 |
| MD5 | 52FB30C5FAA542F64CF544CD1E1CA4C7 |
| 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.6-5build1 |
| SHA-1 | 98E3F29E433E9781DD828FAC797E27217B9D8938 |
| SHA-256 | DF681C96EB9F2613DB9DCCBFD46F8DE0231D3F02C8181E7C42ECFCD4F68D991C |
| hashlookup:children-total | 54 |
| hashlookup:trust | 50 |
The searched file hash includes 54 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.cmo |
| FileSize | 26581 |
| MD5 | CC0FA2235A26C719BAFDD7B34526801D |
| SHA-1 | 0394F1F78BC60AC3FE851D465768B881047D6FA3 |
| SHA-256 | 469FED676728DF9952B694C9977F97BF4FBC12ABCC1BDA6D2FF7A9604DBB519D |
| SSDEEP | 768:/RrXHfBwmLx6LWkBagOjOy65l4o71XwivvRdLH/:/RrXHfBwmLxIW8agaOy65l4opHPj |
| TLSH | T118C2424EA4D8D962E1FD1CBEC9D589CD8B1A06AD6193CC2704F807E968D1E1E1F92F13 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/syntax/z_syntax_plugin.cmxs |
| FileSize | 38656 |
| MD5 | 6CC06C949D2AF237AFDABC8EAB9FC135 |
| SHA-1 | 03FDA209F2B79E2260DAC0CEA43ACBF61E2D133B |
| SHA-256 | 698671070E9C8141E571D88E7CED77B2A84D9C44B76DB844EB66FE7DE435EED6 |
| SSDEEP | 768:ELMfdywVoMs0BBVsRTjZaZdt1sUBMdLRxm2G:Xf5BBVsR8ZdvBABG |
| TLSH | T1C703B52EF58DDA29ECED567685054AEA773CC6A80351C7221AA063C87DD3BDC0E03C93 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/toploop/proofworkertop.cmxs |
| FileSize | 13888 |
| MD5 | C2F638EB2A7627C87EAC2CEFB1FE84AF |
| SHA-1 | 0FA568F21C3DFD77A750444ECE13178595C77C81 |
| SHA-256 | 38EEB6541B41450D15D8A7769A42C8A3BB6F76BD04CF91CFB6E76D10D5C9E1A2 |
| SSDEEP | 96:vEZDX9MBWBSG8NR11MGFHnQxvSYDn1ZDfPPbT4cBzhfuuDHJdq1HMLNJj+HVNnMP:Ms8U/1dFHAvSwn194cBd9f0HmNJqT |
| TLSH | T1C952B76BFA48F83FC99551F3824F4370B3A8D482976287B76701E3683D836D47E52496 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/fourier/fourier_plugin.cmxs |
| FileSize | 143624 |
| MD5 | 4D56A66BA8F0CCC5297A73292A4CA690 |
| SHA-1 | 10E33F0F1E51B5EAF6F1760248D33D8B671ADBEE |
| SHA-256 | 82EBAA61785029D34E055CFF6197C8067FF8FB14D2F81928C0D37106391566D5 |
| SSDEEP | 1536:P6L5pOxfO0oam2A2hW/DdIcco474b1tV8aFYpKCZttR1dO+5LG5X80dFOJRF/:S2AxaWbxcuit8C3L1dO+ofmRN |
| TLSH | T125E3636FF41CDE5EDDE88231495C4AE77735C24A23A0E31BB19062343FA32D92E76496 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs |
| FileSize | 309040 |
| MD5 | 55D08B3BFF0374C8C89A35C2B03C7B48 |
| SHA-1 | 113F28E857BAA19481491045E14CD887B07683C7 |
| SHA-256 | 8102E21F04716B128D39661DCDC409500E332DCC66FAAB8558ED0A588B24FD89 |
| SSDEEP | 6144:yyfF7neVb98O2CnOmk+xdto1J3UfBSuz:PoVfOmk+xdto1xUZL |
| TLSH | T1F564406EEC0CE958ECD461F64A3997973D3C82CE67A1C242E22C26743FC72E46566CD1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/copyright |
| FileSize | 790 |
| MD5 | D42BCE1FAC516F7DF0F92782D7A37489 |
| RDS:package_id | 182052 |
| SHA-1 | 14BE7DA5CA741BD3CD0E215BA3B55D6FF9D7D5A7 |
| SHA-256 | 9B71C96B301F87F6B0DCB39945C532DD4537B45535DFCC38BBAE533AB935F3E8 |
| SSDEEP | 12:mpj8Jq4KUx0KKwXN1zXpMSuMgxgg6fU4xa2FJp/AhFxxPg:g0tx2wd1zZBuh+TOnxPg |
| TLSH | T1CA01BDD5EED89BA97A90E862E9605C81471F2D5231D5E0E2B45CD1106B0955134C027A |
| insert-timestamp | 1679425887.2714002 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/nsatz/nsatz_plugin.cmo |
| FileSize | 414033 |
| MD5 | 1FFDF62F66B3A1A677E4B5D9BBB2D349 |
| SHA-1 | 185A09C0F496ACC8A0908172E898B5C624ABC3A7 |
| SHA-256 | 4007E1AF171AF3F29EF1C9D0952A63D96FAC697B15BE15A25E31A08775611C46 |
| SSDEEP | 6144:VpX6Xj8GJDWvtKFkKCz1y2sYQ74yZ9QejbcialVVCVJ67BH/pOvLlj6Qsr:UjLDWvtKFqzE2fA4+QtVCVJ6Ffwzsr |
| TLSH | T189948805F5689E11C4ED29BEC8D29BC6018849BE5533DD2F81A80B156FE630D2F8EB5F |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmo |
| FileSize | 66350 |
| MD5 | 6CE90B8A18449CA9FC6563D4591482E0 |
| SHA-1 | 1B9033158FE2ECC7380B4FE4087D9CA54AD2EA9E |
| SHA-256 | 3ABBCC4EC4C984B59C58BD9C201F19A787B5B924C1434A5A260AF487FE13087F |
| SSDEEP | 768:jAtzvfS2Rpb2tUIG8H1r0AbR7KWTNg2wxj51g2379oSRMr:Mtzvf3Rpb2tUz8VgA93TNnwJR76nr |
| TLSH | T1D653340EAA6DA871C4D904FDC8FFCD86122449DB5422DC1B08BC4F5A6DE131E9FC679A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/decl_mode/decl_mode_plugin.cmxs |
| FileSize | 595712 |
| MD5 | E01DFFB7F7C46D3EEF9D471624E35FA1 |
| SHA-1 | 1C6DAE92A1E4F25E58F546242ECAFE4D5FC281EF |
| SHA-256 | C3904A35A6B001621D4B65199DE131D188BC7FB6BD9833B05EDE689169E88AC0 |
| SSDEEP | 12288:ZVla4VBHZe3BVYuJYtVwdelBFzmGfVq1M3z:nlHVBMhYtVwdelBFzmGfVq1M3z |
| TLSH | T1AEC41DAEECACCD9DDCA801B3666A0A7733B8C6FC2351C70562156A147E831EC1F57B91 |