| Key | Value |
|---|---|
| FileSize | 5186088 |
| MD5 | 65724817DDFA5FF3E3AA447DF1E4785F |
| 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.9.0-1 |
| SHA-1 | 13E18624F7A01F81106F0244A4AC00A15E7B6B08 |
| SHA-256 | 2438CBE8592BB36D426FB47BF50E114675E5D9E7F5E48121B2602A750AC25B69 |
| hashlookup:children-total | 49 |
| hashlookup:trust | 50 |
The searched file hash includes 49 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/romega/romega_plugin.cmo |
| FileSize | 292118 |
| MD5 | CC66062B698157F00ED29C97A3FF8F99 |
| SHA-1 | 023E4E185953D28A18DA165E0DD052C9707247EA |
| SHA-256 | F12111030F7A625C0268D9F91CAC0C93AA2AAA6AE3DF6E205AD4D5772C593081 |
| SSDEEP | 6144:JShEeVDEYBigI9CbNWN2D8GecnzAwEMHmIS:J2EADEYBpI9C4kVpPHm |
| TLSH | T1CE54A50DE41DAC70C69949FEC4DDAA8B5B048BAD3123DDF740F842092ED636E5F9660B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ssrmatching/ssrmatching_plugin.cmo |
| FileSize | 490435 |
| MD5 | 7D941DDE4DB5E29790CB6D3B114BD580 |
| SHA-1 | 0B8F931A85CF7BD78DC01EBD38D6617B4C56E0E6 |
| SHA-256 | 69E2984DAFCF5C5F0DC52928485519F4FE0D376330FECD89DB6FAC3AEFE8E352 |
| SSDEEP | 12288:RkshbHGrDbPauNTmZxhybXc+Ln+Ogj/cMfa4UNAF2l:IbPaMaEbswBgj/c0pUNC2l |
| TLSH | T1C4A4522DEE5C0932E5F816FE45F065C9491A479CD283C9EFC43E06E66CCE20E1B8956B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/btauto/btauto_plugin.cmo |
| FileSize | 70042 |
| MD5 | 092C37C80FCC4AB0C3A66DCF02B73468 |
| SHA-1 | 11C137A8DE32F5CBBD3E44FE6AADAEC71641EB3F |
| SHA-256 | 19D810356B4276702CF05E1C0796FE65D9FF881EB3DA14807F35BD1373C1A1E1 |
| SSDEEP | 1536:IuAXxleKV3RWoe3brVHL2IYXzmXgaPNPJA5kFN:clX3woGVUKQGPJM6 |
| TLSH | T13B63110EAA6CB471C4A804F9C8FFDD86073846DB6426CD1B08BC4F5A5DE132D5BC679A |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/extraction/extraction_plugin.cmxs |
| FileSize | 780832 |
| MD5 | 1CDF282A93160342D06314EDCC5FB30E |
| SHA-1 | 1CDEDBB29CD39325BB26A865AD5D9AED21B242F0 |
| SHA-256 | CE2A283488879D5A02F320A233A235A3EA429B5629C8E397ABC407167FAFB813 |
| SSDEEP | 6144:poD3wYX1OMNeOVURKRqmAxJl93EG27kYcZgGRWJksUyTfjseC22zkX09IXfe07F2:poTwYX1BoltwJJrUyTfoeSzKVfePxb |
| TLSH | T1B0F4D5C7FCDD8F38C2B90EB205BB8B727635919D1A56BA226A08B0653F427D907537C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/setoid_ring/newring_plugin.cmxs |
| FileSize | 184268 |
| MD5 | 078697C214C4B8D725D28BCC3C2EDEE2 |
| SHA-1 | 1D652318A5D46B828FC032DE0711766F0521858A |
| SHA-256 | 342812C4308C253DF8A01BD41DFE6FD35A510F7BFEC5CB12B41B3A407675AB7C |
| SSDEEP | 3072:fxMBN8PQDGpF7013oX18bVfDP9OzcA9mEOSiCblpSo7:5MwF784liVAAcOS5blp |
| TLSH | T15004F7937889987DE0B51FF048BB57753E38C64277A1AB04A57427B92F32AF00F669C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/derive/derive_plugin.cmxs |
| FileSize | 23904 |
| MD5 | FEAD157DB41529BA925C5E413368EA6D |
| SHA-1 | 2DB08C94014FB75C861D1575125F7B398DFF9A5E |
| SHA-256 | 526D5D64DBAAE9271DDB1F5D1F874265649E5B907CBA681A0C451422D743A707 |
| SSDEEP | 384:XWozScTbDbKQKd3pwirsPE5F8oQN0rl8DEfDyG:GozScTbDbopwirs21QiR8DEfDy |
| TLSH | T13EB21B67FF4CC9BFC0B50EB940AF476424B4C24ABBD29666371D36482E126F957A38C0 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.gz |
| FileSize | 67724 |
| MD5 | 9A7637ED437F9697F0874B01A5D1D1F4 |
| SHA-1 | 373E1EC274922199C8A6DBF21FA5B1186E38FBAC |
| SHA-256 | 99FC6E4611636FFA9E5258C9676C6C6D2BC1E3559EF2DE3A0F4B0AC1B0AF36F3 |
| SSDEEP | 1536:ey0JqaP6GyCqTkecHUhmZHw7NbX0b51OGrWDCR3OaXt+GPodd:efkaPPyCX31OWaDu3OaX0dd |
| TLSH | T1DD6312FD50977DC56CE0F63D1882629667E23CD6646333EEA0FC037E655490982E8EE8 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmo |
| FileSize | 1740158 |
| MD5 | 715724B7F71A36842EA8ADFCF6CFBCEA |
| SHA-1 | 378528BE18488827115D14558B8D9729C6DA92A2 |
| SHA-256 | 61C2394B8ADCE770A813BF9904136FC0678E61C2698D2B5D48E769A39152D0EA |
| SSDEEP | 49152:YplPvYcAxTWs3exWPjf1lQ6VbmwXSDf8JcJ76R/aPs1J:Vjd1tnr |
| TLSH | T15B85B90EA45C2E30D49D1FBEADE658C9022C5FEE52D799DF002811585F8F39A6F8784B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/ltac/tauto_plugin.cmxs |
| FileSize | 40396 |
| MD5 | D951C8C2B18D06C7D5015F21819092B9 |
| SHA-1 | 3DAAB28812B7ECF422D935536819FA6C02AE3115 |
| SHA-256 | 8DED4D942D8749D91E52D26A2B6BB0123007C915A4FBF08F8E3FF57BDFF4AD93 |
| SSDEEP | 768:h+XR5jwuSh0aoUtBjFdFONABoFL8yJI0fnR4hezkfCwmvrkRTnzfAQpUNajgoYPp:kXR5jwuSh0aoUtBjFdFONABoFL8yJI0l |
| TLSH | T16703197BB79D8C79C0F68DB045DB977A3271D2812A75EF021559FB083E50AE04BA78C2 |