| Key | Value |
|---|---|
| FileSize | 56309576 |
| MD5 | 7FC356190F14CB84A039F99B52759DE1 |
| 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 | 21D5F4052CC7F36834C4BE03CF757D62BEC4212F |
| SHA-256 | 859A70057B39055DCF34EB482E8FE9DAC2FCC44B21F7019EF7A49CBC2DD91CCF |
| 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/bin/coqdoc |
| FileSize | 1291828 |
| MD5 | AC6F022A5C69F580A1415A252BE79901 |
| SHA-1 | 08837DCE0BF9C37E990D13A28E20509BACC83D48 |
| SHA-256 | 97E806A40F8372AC862C6CDE90F551E910ADA1E25D7AC30C16F3927E6B0BBE60 |
| SSDEEP | 24576:yGosanw9Ofl0d1g+miW3oO/DyEtzn2G2wUVjzrxYR:yGosapdjCFIptrJ2xVH |
| TLSH | T138552A98E3568AB1C3FD4AF5086E9FBA16205D2F61225736964CBD227E773014F0D3E8 |
| 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/bin/coqworkmgr |
| FileSize | 1486612 |
| MD5 | A078CEA596ECD89FB4F9D1267C53FACC |
| SHA-1 | 0E6F3720108B9E95440675EAE7F2693C4B5D5A80 |
| SHA-256 | 97762F9452BC812AA0BB0ADA5443A6E3ED1E1D48B409CD4B564C2892BEBF275C |
| SSDEEP | 24576:nsZiHPqIdJPBquviRPdLqnKLJnhgvM+rOrtxhs5h0JREyAlJjYhjES8eoCyZrm4T:nsZiHPqIdJPBquviRPdLqnKLJnhgvM+6 |
| TLSH | T181654C97FE9E4EBAC3794BF1C56F7BF2AA30A1662D6263389D0875007C623854B053D4 |
| 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/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/coqc |
| FileSize | 1451156 |
| MD5 | 9DB3FCA386885389AFF754DB24B97475 |
| SHA-1 | 3B5F9E87E5BDBDBABC552C774AE5FF0051A1AE02 |
| SHA-256 | 509F55A22964D02DC5EE333093310F6C6BB0536DAF8643E6089D9787D25B3E4D |
| SSDEEP | 24576:+fLCA85OBF685AfCfXivDAlGPpUrFrSDMMzUoqrCNq+7RIkAkqoCFfGdTBfJTC4m:yLCA85OBF68ufCfXivDAlGPpUrFrSDMx |
| TLSH | T1CB652BABBF9E4EB9C3BA4BF1C4DF5BF22A60B127256293395D0C65017C523854B063D8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/texmf/tex/latex/misc/coqdoc.sty |
| FileSize | 5494 |
| MD5 | D81D07C2738BE88569AC158D76B4A72E |
| RDS:package_id | 182052 |
| SHA-1 | 3C009E4BFA0A7740FD7F721C7B38AFE4883C9434 |
| SHA-256 | 3C46EA94A7954C9CF506F24EFD98F8059B4D098AAF4A3A38A8903473A68EA617 |
| SSDEEP | 96:zp5zUm5Sua7AIzP7glU+c4V1lSjcilL4bSurImGYsBtGosrcS/p:V5zUm5Sua7FzP7AUZ4fCcvbvrImGNtGN |
| TLSH | T1E7B1DD006DBC72922BDB0D46AD54DF095C3BCE0A3B0E96E678BC245187C6B8F029974F |
| insert-timestamp | 1679424703.1018066 |
| source | RDS.db |
| tar:gname | bin |
| tar:uname | root |