| Key | Value |
|---|---|
| FileSize | 60508948 |
| MD5 | 7D7520927CD14D03757F92CCA5AF2CAF |
| 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 | Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com> |
| PackageName | coq |
| PackageSection | math |
| PackageVersion | 8.9.1-1 |
| SHA-1 | 18A2D17787464E555ACCA9A307A5598F173C03F4 |
| SHA-256 | A1FC7E5B826530981BF193321AE1A662BE658F308A929C9994204FC5337417E0 |
| hashlookup:children-total | 44 |
| hashlookup:trust | 50 |
The searched file hash includes 44 children files known and seen by metalookup. A sample is included below:
| 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/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/share/coq/coqvars.mk |
| FileSize | 281 |
| MD5 | 1D8470704D115D11401129A1B29CFE9C |
| SHA-1 | 0E7EF1DF7B44522386DF4DAC9938EE5E478338E9 |
| SHA-256 | 8F76E0C802D593B5CB7FDF1387CE40BE358F39EFB152100D3343E8A9AD851FB6 |
| SSDEEP | 6:S+biAb6A0FflbQmncJ/szEAhC2Ib8hnVQJ9WrdgUCFqJrwedDW6jI:1bixA0/bQme2I8neJ0JgUCFqBrjI |
| TLSH | T1C9D0C2326E4C2A0DC9A40A82374A656A5211A5BA8A0534358B9C6B56225A09AA31B72F |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqworkmgr |
| FileSize | 2093056 |
| MD5 | 0B210FA0F4DF5AF28B610E0D865102D2 |
| SHA-1 | 10CF0E086E9574B283CC1AA4E13B984BD5EC64D1 |
| SHA-256 | 8B30D96F12D87084D0AE60B4479D00F30E4647D07F084E126CE847CAC00D0504 |
| SSDEEP | 49152:bncZiHPqudJNYqlviRPdZq5KL49tgvmin4Wtxhs5h09/GMAhJjD+L+RAP7biEuuZ:7NHrW2JM65hIL+YLuuvQ |
| TLSH | T137A55EE3B60B8F9BC7884F71794EBB65339E704E1D1D3D225942918B6F933488E4CA46 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqc |
| FileSize | 2023064 |
| MD5 | 6BB9E145528287EC7CDC3F09AA48F9EF |
| SHA-1 | 1D4470FC598E5F7DC06D2A2874EEA720AB26F54C |
| SHA-256 | 8F5DE2E2A3EB51E0AEA88AEFFECFE24686310561A1286583527159330974DD1F |
| SSDEEP | 49152:RkLCA85O9F6Yaf1fXivxOlUPp3DhrSBoA7nnqrCNq+fliqAYqoOy84q8r54UC6Ct:RkR8UqO0b3cYp84qrIjsjMa |
| TLSH | T11C955CE3760B8F9BC7088DB17D8A7765334E708E1D1C79265A06918B6FD32094ECD9CA |
| 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/coqdoc |
| FileSize | 1906800 |
| MD5 | AC7E12F4EA722088B29A6F34D99CE261 |
| SHA-1 | 24BAF8D8F3B13E11F6FBEF2FC879A4868CD6C5C6 |
| SHA-256 | 299780AB80FA3AB7617A4764C843C6F4B4810CC351D208AA6C03D84F2FF866C1 |
| SSDEEP | 24576:NchNfEs/fyjIHVBjxlfwJOf8bleOFEMY:NchNfEs/fyjijffjfscT |
| TLSH | T1AB9518E7BA0A1787C750CF36C9857F61735E2D854D5D3A1E5622B10B5EE320A8E8CACC |
| 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/coqtacticworker.opt |
| FileSize | 20706776 |
| MD5 | 5202711E2BD127B801F6A3DD1856BBA7 |
| SHA-1 | 2984F08279EE8A32791BDBA5E1EF4E8393C77CCE |
| SHA-256 | D32B63B878997B50AEFB4F61157274DE3C96A6C0870B097FF1125C460D0CBB70 |
| SSDEEP | 98304:WAbuLs1/Tly9bLwM6hvioF69hiDQIEXtgm1GJQADmXbGijz1u2:WfLMJe35CvioF3Q19gmutib9j82 |
| TLSH | T1C2273AF7BA0F329FC3418E744A49B772639EB4492D2D7B079A4663174E831888F9DD84 |