| Key | Value |
|---|---|
| FileSize | 59502048 |
| MD5 | C1B4FD0DD8C9A353C1E8B9C03411B7E5 |
| 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 | 6CCEC30FB7AC805459B15BC5860C77DC6901B120 |
| SHA-256 | D57E890C2712DDDCE19080FDCB704C920E559E9AACB75C194885D39A91ADB647 |
| 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/coqqueryworker.byte |
| FileSize | 29019865 |
| MD5 | FE853C5B80AA627D681D7876D2997CCA |
| SHA-1 | 08D7FE16CF411B2D5752F8EE7553D7226804AA5B |
| SHA-256 | 35369F329A415414EB3AB5A35E184B2308F4D03CB809DD47DB7E726F843FE2F2 |
| SSDEEP | 196608:IIFCZiXqrIL4zV/1r23kOWUAbrA4SP6xedVox2jHV/:nQiX1mV/1r23kOWUAbrAfPYedNl |
| TLSH | T17B57074DBB28E571C88819BDCCE5DE8B82209D7E66535DBB104C075998CB35F6F08B8B |
| 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/lib/coq/plugins/micromega/csdpcert |
| FileSize | 1976416 |
| MD5 | 11420990475AEF9102293A161DE73D68 |
| SHA-1 | 213829C512A0D41CE458884D3C11E8042003D2DE |
| SHA-256 | A2C70D39658C87CC542883A6E0A9E89048B309A0E852EC1F874A4E19560000D5 |
| SSDEEP | 24576:nmT7kKrtl8uzdsjCAawcFj2Z94iKVZiJs2SV:mT7kKrtl8uzdsuB6KVZiJy |
| TLSH | T17B95B7E28D569BAEC2E4BE30D2D9637472F9546B669B670EDBC453A33FA0331C505C20 |
| 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/coqproofworker.opt |
| FileSize | 21079424 |
| MD5 | 941C1F75E82A04A7972A718E92F64EB1 |
| SHA-1 | 2E9818126D1D858173855E9B033C1C2B16CE13F1 |
| SHA-256 | A7202524DB1643D19DFB7A6F9516A0077CF3B0601F08C1A563ADA5F99960F3CB |
| SSDEEP | 196608:E6hKFhJbY5CcBHFjYPmVsDMCTRWGr4rLJ51JS:EnSYPor/K |
| TLSH | T17727A3E75B07E39DC3646D31D6E61330B27698A77EAA674FCA8423323C61772AD19C40 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqproofworker.byte |
| FileSize | 29019865 |
| MD5 | ED31118C9556A556DFFBD070A2CF7B1A |
| SHA-1 | 39EE727C8EBD82F21450BC64D39812875896DB76 |
| SHA-256 | 596E3A18F9FF65F49CD7776602D0AC7719EF9686BA8CE7C5359294CFE934A518 |
| SSDEEP | 196608:+IFCZiXqrIL4zV/1r23kOWUAbrA4SP6xedVox2jHV/:VQiX1mV/1r23kOWUAbrAfPYedNl |
| TLSH | T17557074DBB28E571C88819BDCCE5DE8B82209D7E66535DBB104C075998CB35F6F08B8B |