| Key | Value |
|---|---|
| FileSize | 63434200 |
| MD5 | 8AFBA78BB25154D805B8848D1F755C26 |
| 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 | 84674218CA7CD3EC78FC2CB6576341FFDD6F4567 |
| SHA-256 | 51601853632A78651FFD84E10C64594A9AC3F07977B7A9748CAD33FE34FBA83E |
| 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/bin/coqtop.byte |
| FileSize | 38667148 |
| MD5 | C91DDAB2D1CC3685C0902881CD7D7EE3 |
| SHA-1 | 00C15B996C0CAC9204C5B3F3B7ED02128DCF88A4 |
| SHA-256 | 1F59A27D3FD92616085DA490251BECE718CFBFEFF4B5A7B6D91E11D179D86A69 |
| SSDEEP | 393216:qTGXU6V/1r2OxOWUAbrp/br2WCDBrfi8c+rrB:qTGk6V/1r2OWWClrfi8c+x |
| TLSH | T19887084DBB68E471C88819BECCE5CE8B83109D7E66135EAB105C175598CB35F6F08B8B |
| 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/coqdep |
| FileSize | 4503120 |
| MD5 | 96114B75B6A73C519603EE8496AD93B8 |
| SHA-1 | 03520747DEC738927D71E8635784FDEA5452E558 |
| SHA-256 | A49FDF94D69F6AACC23FA339564D94E21D1C81C4BAF4138B8A35F5A8C14785DD |
| SSDEEP | 98304:Ni0cLhdho1mmexZoRvPMYR4UJnEqRmAIUKvxcQkVo/VijCWrHBEv7LHs0L6PRzQq:76xWT9nh |
| TLSH | T15126522FFB5FF96DCEA891B245F69353B42DF81465A0C3631A0032247D8B1E50A7B9D8 |
| 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/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/coqqueryworker.opt |
| FileSize | 22257392 |
| MD5 | 51908EEB5A35F019AE2EACF23B60363B |
| SHA-1 | 23571883F5F56F5E12D738E949B85DF957F95516 |
| SHA-256 | 6EFFD33D209A52E3CCF4FEE2B3E3B0832915FFDE0E9ABF09DCC32318AA676308 |
| SSDEEP | 196608:tOT+g6fYRwSgcdKXNZjs5l6JzqY/b4bd5CN:rvs5l8zqY/b4bTC |
| TLSH | T13E2708BFF94DF92CDD9886B18B982BE37339E54E2591C313699132507EC32D84E264D2 |
| 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/coqworkmgr |
| FileSize | 2088336 |
| MD5 | 74D3E12633240CFD69D4AAF2CB0284E9 |
| SHA-1 | 3030FF1C27F7516401DF7831DE28BEBC818191D5 |
| SHA-256 | 6615739A4AFD89BE909751EA7CE87A0E895B1D37E4D1ACEAD6D60325FBE996DB |
| SSDEEP | 49152:jvsStfkKW4DPY5Nqnk9CdGuF96ONgR7p/DC+wiyr/mMv91MaAXy/hGfuFa65cGMF:4euXER7RwjtUiqgkpm2fMOitygmVBvp9 |
| TLSH | T1F5A5F66FE82EDC28CFC8C3B48A850FD33929E149D2D5E2292952714479D33CA1DEE5D6 |