| Key | Value |
|---|---|
| FileSize | 5238744 |
| MD5 | 41301E1AA8CC0B0E6D9A7EE3EF9E24A2 |
| 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+b2 |
| SHA-1 | 88AFB4DF62BC8B1365C1016199E85E99ADA24915 |
| SHA-256 | 2A591EDBDFF23FA2392C1BBDBADC2C2EE45CE49E52D8ADFBD145E181911D4060 |
| 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/numeral_notation_plugin.cmxs |
| FileSize | 52412 |
| MD5 | 03C5466D2D79D7026479863D941730A1 |
| SHA-1 | 0E6C702E6EC425AD04A2E1C9B78C56EAA137F179 |
| SHA-256 | 71D257B828231E151CF71A055C307AE9A5505114C8F5AE3BD51883AAD002DFE9 |
| SSDEEP | 768:cuHKQxE5d6WSE73OwdlIpf+ENU2hFBxc8TOm72PEVkDggq6sM:YiWSETLUXIKikYa6 |
| TLSH | T1823319A7BF9E847DC4B74F7944EB0371A474CA612B91F610A148268C7F42BE5036BDC5 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmxs |
| FileSize | 975500 |
| MD5 | 92137C6BC9F7FC8F2CAAB580D3C79992 |
| SHA-1 | 11FAD37788EFF9C20008DAD9ED745211FA4ABB3D |
| SHA-256 | 1F3A273DA726F7B79C0C7FB31DCC10AD659EB0921AC06E5DFCBD37F48DEF0786 |
| SSDEEP | 12288:IYdNcThfc8A4MTb6H6Wtv8ugyFcl+yGsoOmEftrE3e:IYzc68WnLI8gFcsOmEft |
| TLSH | T14325F8A3E88C6BB8C5BA0FF4547B8BF12A71C9E716E276051D0872617F416FA03667C4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/funind/recdef_plugin.cmo |
| FileSize | 1741030 |
| MD5 | B3B5E7B69231E8ED4AD9E33EBC5325DE |
| SHA-1 | 204915DDE6D9E971DE11F0DFFD7C42C3D922E4B8 |
| SHA-256 | C690741681CFAC5ADF938580EC44F2862966F045A0111574E8735352577D8500 |
| SSDEEP | 49152:CplPvYcAxTWs3exWPjf1lQ6VbmwXSDf8JcU8FPZoe9KX:Xjd1Gov |
| TLSH | T19085A80EA45C2E30D49D1FBEADE658C9022C5FEE52D799DF002811585F8F39A6F8784B |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/libcoq-ocaml/changelog.Debian.i386.gz |
| FileSize | 219 |
| MD5 | E66E0DFEDB4A8A39581A03189D880659 |
| SHA-1 | 2DFD95DC31F10F5786B344DF3BF92D9B59C92364 |
| SHA-256 | 64F06304A9662C2D7548A2109C4755F184C1FFBAEE1A5F79AE94019395D66170 |
| SSDEEP | 6:XtgDphrQzz19qWzxEKVcP4dXJhgBiVDFVNthOg1tEpwrl:XO0fz+KVcP4dEB2rNPrKc |
| TLSH | T181D0230AC03357C0FE9CD3ED0DEC218987C4204588C9510F9B2D0000303A87C020BCD3 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/rtauto/rtauto_plugin.cmxs |
| FileSize | 110216 |
| MD5 | 1CAF1AEF9DC52897F24A6324A4103CB7 |
| SHA-1 | 2EBF46AB1A7D206338429A027885CEB097B8F20A |
| SHA-256 | CF96E0255EDB73B56AAF159A95D40E8CC79E31E0F8269B8965B7A05AE7279441 |
| SSDEEP | 1536:yUjUn4K5eo30VbL6qf/Up2C+IvYykEbDcjD36:yn4Kwo0Ff/Ef/9 |
| TLSH | T12FB31993BB7D993CDD780F7044DF4BB53F30C9592A646B1A1688EB492E82AD10F932C0 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/micromega/micromega_plugin.cmo |
| FileSize | 1349255 |
| MD5 | 0C5F6B7581C550657DA6110A593F7F9B |
| SHA-1 | 303AD37525B332C066075BE4230C4A8248B8A9B8 |
| SHA-256 | D60D37EBA78C7E861B2948352AEEF53AE217B0902E3358239D5526DC960C156A |
| SSDEEP | 24576:jf8ISl7n8nrraoi/NAQOESiPXVSOfK/rlPbZCPzR3htdmI15N:jkIC8rraoi/NAQOESitrfK/rRb47R3RD |
| TLSH | T1C75596CD645DD831CA980ABEC8DD6EE70A184BFE6323DFE700D815456D8239D2B8A747 |
| 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/derive/derive_plugin.cmo |
| FileSize | 22227 |
| MD5 | 2053A89D4A8578FF026E391E41B56D05 |
| SHA-1 | 38442BDE7486511E55B54D82FE3D988A9391B642 |
| SHA-256 | 28599DE60D18CA267BBF5826DD02ADAD4E3A52662A86C591E02A9A4AB20108DD |
| SSDEEP | 384:KMUY1tpfuoes40KOZeQTDUQyZbkGQNFjHbCcLb8rcvUFi2KzBLh3zJ3mxyi4AMJp:3q06ECmunnlPYnAPhrtQQ8D3agD7 |
| TLSH | T11DA2C609B4589562D5DC18FF88DB88852238DA96E9DBC82B172C07527CC133E6F9B74B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/plugins/quote/quote_plugin.cmxs |
| FileSize | 60588 |
| MD5 | F04B471470B38FC3FF659E74F5BAA894 |
| SHA-1 | 38620F34E1A6F9383A184B5E966040C1ADBC4A7A |
| SHA-256 | B25F23A04299EE139CD4839FA00D81935BEF3B8E550FE81CCD781855670F1A4C |
| SSDEEP | 768:FjyS1bCDGNE3/clpDSoBkOQdfwibdKusDAIBfsB/vBs35372PEVVD/SLW58:x1saBkOQdfKueAIBUF05Lik5158 |
| TLSH | T1684329627B89C87DC1B90F7060EF8BF47874C6966AD5AA055E3E364A3E507F80B539C0 |