| Key | Value |
|---|---|
| FileSize | 56236628 |
| MD5 | 4F6CC06729B2A25303B070BF29A9EA42 |
| PackageDescription | proof assistant for higher-order logic (toplevel and compiler) 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 coqtop, a command line interface to Coq. . The proofgeneral package allows proofs to be edited using Emacs and XEmacs. |
| PackageMaintainer | Debian OCaml Maintainers <debian-ocaml-maint@lists.debian.org> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.0-1+b2 |
| SHA-1 | 014EF38DF8E51E52087CA063B37535CD31B14E90 |
| SHA-256 | 1AC91AF86C77DECFDC6D5DB8FB9E21DE526D55C32A4113BDD5C830BEC29A05E6 |
| hashlookup:children-total | 47 |
| hashlookup:trust | 50 |
The searched file hash includes 47 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/share/man/man1/coqtop.byte.1.gz |
| FileSize | 275 |
| MD5 | C85D082EEF138584A662D850DBF002E0 |
| RDS:package_id | 182052 |
| SHA-1 | 02CA91ED439B35E686C7FF49CDD3E8E67EB0E7AE |
| SHA-256 | E790CE35A5A670BB38D1B71AE4A52467D42C425651C8AF23A8273617936C410A |
| SSDEEP | 6:XtCvPuAceBvF2JT+Y5UxHhMutBBlBNduhXM:XMvP3csvFI+Y5UlhMuplBAc |
| TLSH | T174D0E7B59CC920BF8BDD040147101D631787D5DC1581642500471680314954D7673834 |
| insert-timestamp | 1679424703.0916345 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqpp |
| FileSize | 2544695 |
| MD5 | 2E6D9904E42AEB96A8EC8A35F4092F9D |
| SHA-1 | 054B4974E135A17F084A3FBD8F0AFF351751B7FF |
| SHA-256 | 65AE4A5B22959095DAF1C38C629E42F7FDD52B033008817EFE9A83C6B00F6F40 |
| SSDEEP | 49152:faiSSLi4A/x7sdxeJMpi9yhW6Rb2Iz3Nz7s:ih4rJFs |
| TLSH | T1D8C5E54DEA28F531C88919BDDCE5CA9B81148C3F6753ADF70088171AE4DB31E2F59A87 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqtop.1.gz |
| FileSize | 942 |
| MD5 | D8ADCA4C3F44E97B2C7FBD8002FB7E8C |
| SHA-1 | 0A4B95D7485B0C3A30E390D3C8E3F659CBE5D141 |
| SHA-256 | 6894A31ACD532564D285C124749806828A23BD190066C308388B81E69B1D480A |
| SSDEEP | 24:XFpVUYI+4DTCvr/y1alOBDFnj8VpuH814RnKCKs1jUbgV5vezB86z3K:XT2quU/WDax1mRKshUtzBnK |
| TLSH | T14B11C872A2150B17860297274475A5E04C9410D17CA83BE3F0AE0F5F3618F19224F735 |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/CoqMakefile.in |
| FileSize | 26677 |
| MD5 | B3B81AECA29761307829E5E94AFDB12E |
| SHA-1 | 1DE7E41411DC79007832180390F54EC9661FBD18 |
| SHA-256 | 47E360A1EE5A2B877B9A9615FC25C25F8EB33189DA488A2DEA1782B2A839C304 |
| SSDEEP | 768:60xhWYaZHpH4ZZUxobMpMJ907ssLHrhGlfEIzvIK8:60xhfaZHpH4ZZUxXpMI7JLqEN |
| TLSH | T15AC2A73AB7092E6E9B8509E470E85148760F0096ED23B4B170BD8D3DE37A0ED61B6DE5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqc.1.gz |
| FileSize | 543 |
| MD5 | 8B28B858F2B73937DC9C8E5E7EC065C8 |
| RDS:package_id | 182052 |
| SHA-1 | 2398BB2A5488D5E45FEF7013F1713FA321C7E92B |
| SHA-256 | CF37BCDF17C49831F7F23E90E5F1E5965DCC1766D6CBB8F5AD63779DA4019C0D |
| SSDEEP | 12:Xyl9LOLTzYXkjQviq3UrplJ7+cGybTUljbNbGWjxILYh:Xy2Lkjqq3Urpb+cnU/dx2a |
| TLSH | T193F096AC87F200F29A26105C418EADD20C242EC971ED82038880C815C24CCE88994154 |
| insert-timestamp | 1679424703.0865602 |
| source | RDS.db |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqtacticworker.byte |
| FileSize | 29002678 |
| MD5 | 439F3A67AB96428929770BCBAE45B17B |
| SHA-1 | 265836E423402FCF59924D43605C593B66039AC9 |
| SHA-256 | 08C547C5538EEAC4C6E644D54410C89086351F3C1E20A29CEAF7C4337EB433D5 |
| SSDEEP | 196608:wYlWPQ5PkntUwUVW5bxOsUAbEJ/nXK+A9T6nl+3yXc4rj:w5QERUVW5bxOsUAbEh6FB6nZV3 |
| TLSH | T1F357074DBB28E571C88819BDCCE5DE8B82109D7E66535DBB108C075998CB35F6F08B8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/coq/tools/TimeFileMaker.py |
| FileSize | 11260 |
| MD5 | A9CBBA682050521812596711FBA3ED72 |
| SHA-1 | 286D00C9CDE933F3FB5486820914F71C39F44FF8 |
| SHA-256 | 0E387AAD130730B1854E949C0A726AE982B3B636662B9767E0D05CC5AB70BF5D |
| SSDEEP | 192:icm7HobQuaj0BjqIpR+qhszRMB/j5dAsAurYc/c/n6vvM07/kajILpsRXBkK:HmE8rjWzAqRDbwpwF |
| TLSH | T19D32853A641A291047D3A87B895DB1867304922723052874FFDDB6683F97D3943FAEF8 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqc |
| FileSize | 1442964 |
| MD5 | 2B54A5A585024C461330A7FF1DBE5E2F |
| SHA-1 | 2B15D14CA1F7ACCED59C0D663AE406981C2D4C8B |
| SHA-256 | AD032F7E895C4D7A6697631085A57A1FABC26A74D0E37AD02BB0B15358082D60 |
| SSDEEP | 24576:oQeCA85OBF685AfCfXivDAlGPpUrFrSDMMzUoqrCNq+7RIkAkqo/77a+SZxOxFW5:reCA85OBF68ufCfXivDAlGPpUrFrSDM3 |
| TLSH | T124653A9BFE5E4AB8C3BE4BF1D46F9BF22620E016356293395D0C65107C623895F0A7D8 |
| 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 |