| Key | Value |
|---|---|
| FileSize | 57546728 |
| MD5 | 54BED8241ACAF6AEB3A7287A86A879F2 |
| 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 | C73AFC3EECB381F3E786D7D1E0C73BDBE0624EBE |
| SHA-256 | 4DCD7F19A122FAFEAC599B7CC69908C994A73A04EECAB976D770C3F3D2EFE5C9 |
| 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 | 1190164 |
| MD5 | 81AAC78B1219D6EEE0D26501569A0687 |
| SHA-1 | 12637DB307E466C515E8D8C4A4E141FDCA39D5A9 |
| SHA-256 | CAB6137130D7DFB40BEBD4BCFF1F68D916D5C17B983007DA62D4281B52973337 |
| SSDEEP | 24576:P4ZiHPqId6kkquvjRPdLqsKLJnqgvM+rOrtxCs5h0JREyAlJjNhRs82kuqlMA3zh:P4ZiHPqId6kkquvjRPdLqsKLJnqgvM+k |
| TLSH | T10A453A037E1CAE7AC8EE4534745B5B6A9325E2C466DF5702291EB930AFC33C41B2E6C5 |
| 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/bin/coqdep |
| FileSize | 2659908 |
| MD5 | 6FCA16DC99934D45EE65E196EFC5AE05 |
| SHA-1 | 1FFA0C348AB868E14E45BB9A3CD865DBD4DCCA8D |
| SHA-256 | 5413F470C8E5A429CAF2EFB5716E2AF151EF69C10798B8EEC61E94D79F35D596 |
| SSDEEP | 49152:YLjqEvmvQZrv3Btz0ckyKjJBxTJ3ZwN5nsgJn94Aw02XiWaHm1OhuKRsXhXGiaTU:YLuEvmpYnfWSFYKQU4p |
| TLSH | T1FFC5542BF71F387DCAE994F538B9A788A208F14869C091A35E1572641FC81F9067BDCD |
| 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/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/coqtop.byte |
| FileSize | 38667080 |
| MD5 | F4E3807BF76F1C1F2AA423CAC10E3D92 |
| SHA-1 | 2AE1CD3262EF0D99DF45EAAFFAF4B6400F1E2412 |
| SHA-256 | F3255A9AF6967676DFFD7791206D01149A99F791B5ACC3854505200077A4224B |
| SSDEEP | 393216:RdOXsGV/1r2rJOWUAbr5HrTmG8Dnrfi8cSr4l:RdO8GV/1r2rOG87rfi8cSO |
| TLSH | T14F87084DBB28E471C88819BECCE5CE8B83109D7E66135EAB105C175994CB35F6F09B8B |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqc |
| FileSize | 1161648 |
| MD5 | AF0ACD35A3C6CF9F0D5BADA372C2CC43 |
| SHA-1 | 333D1BC50970962C1ACF0CC3C2A1C9B6278681BA |
| SHA-256 | 88C14B110A2ADA1BED0EEBB7FDE63DB25BBD6D2A2215FF83A0979ACF7D95C1D9 |
| SSDEEP | 24576:x2XCA85OBFJlkAfCfEivxAlbPpUrqrSDMMzUoqgCNq+7RIkAkqo5tH/3SWC68uL6:AXCA85OBFJl/fCfEivxAlbPpUrqrSDMi |
| TLSH | T112353B037E1CEE7AC8DD4938705B576E6365F2C126DE5B02291EBD20AFC32D41B2A6C5 |