| Key | Value |
|---|---|
| MD5 | D08736E75DA711AB7F268DC22DF807CB |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It allows for the development of theorems through first order logic that are mechanically checked by the machine. Sets of definitions and theorems can be saved as compiled modules and loaded into the system. This package provides the main Coq binary without an optional IDE, Coqide. |
| PackageMaintainer | Fedora Project |
| PackageName | coq |
| PackageRelease | 1.fc22 |
| PackageVersion | 8.4pl6 |
| SHA-1 | 06970E7FA912D0007272B189DB432725A2536A53 |
| SHA-256 | D8F27F1300C7E9DABB6AD176383414C1E5C3A2E43FB71E3B0E00C621B112AC76 |
| hashlookup:children-total | 6 |
| hashlookup:trust | 50 |
The searched file hash includes 6 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | coqide.desktop |
| FileSize | 174 |
| MD5 | 5A0271FC23C9EA8879A57EEE59999EBB |
| SHA-1 | 0122F9ED77669B310B7AE0CB9F5E409E98266D2F |
| SHA-256 | 129A954D06DD8090CA7EF7A99A77DB530CADF3FAD3230F6F78E59D0320EDDE0B |
| SSDEEP | 3:ag4z11JxhB7AIq2xHWVPd2sGNwU7qKgyV6ERMQ7RAThEiuF1EVMMQGkn:agO3hVxHWn2NB8c9iuI8n |
| TLSH | T1E8C08CE334490A21120A3AA68B869CCAA177590E2AEC1E50F00C61759181EA8D5BF7AF |
| Key | Value |
|---|---|
| FileName | coqide.appdata.xml |
| FileSize | 1109 |
| MD5 | 6900ADF97C6BCA3B32AE9C56159513DA |
| SHA-1 | 9D0ED33705DB617412CBDE1FEBE68CB1409218C3 |
| SHA-256 | 33E75F6425779851576C402A67D341266696F0FDEC52ED0983CF6E61707DECF1 |
| SSDEEP | 24:2daQiKGZ3M1o5ttFSiLOco0oCIKpRAhqWhpWhgWhvWhZPO/Hu3O:cxp0DFSiU098IWjWSWFWPPOGe |
| TLSH | T1D91135FBD50FF2B240087A53BC24E498D9399E1C18A121C6A18C08B99917A944773EF9 |
| Key | Value |
|---|---|
| FileName | coq.spec |
| FileSize | 20099 |
| MD5 | 6A8F1271F690E08EA225C9A69298255B |
| SHA-1 | D58E1AA8AB38C101C7D109FB491876DB0399F544 |
| SHA-256 | 891909F695D97657B277458E296EA6E464AD9518BE69BF169E2191230FF7336B |
| SSDEEP | 384:fIxCJRdWp2ipP11dKBiUU1MVakRP1O4hmZWBENPXMdWGpXD8:fkCkPhKQUU1MVakRyLN/MLS |
| TLSH | T17D921A7266CCA5B276467AA7B1717501BA3EA03FAE7EE05970DC02082703D24F27F5B5 |
| Key | Value |
|---|---|
| FileName | ./usr/share/mime/packages/coq.xml |
| FileSize | 289 |
| MD5 | F69A9176D0F03375003709CEE2842DC1 |
| SHA-1 | 7E664ED45BD379EF31C2D1779754E960B85880A2 |
| SHA-256 | 7A36E62F52F7EE1B0BC3D946A3E24844539872BC5698F788BD946BED3FF19A5D |
| SSDEEP | 6:TMVBd/Jv3mc4LfLyBEer9D9Vv9HE7FsRqTJUF/iIF5ZIQXI6TAscVLOAE:TMHd9KLSj9DlHoF2quVF3XVMs2OAE |
| TLSH | T181D02BD4F9D7EC511121F91B97B7D408A3611367C5CD98A9F6D44E71DF81BC1024239C |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/coq-emacs/README.coq-emacs |
| FileSize | 127 |
| MD5 | 5CD62CE7E2697E2F722C585C3CED5EFD |
| SHA-1 | 39F86D386E09DEAC42D4546B1D5E7D1CE27DD3C3 |
| SHA-256 | 342B96D0FC03F3B3FED8786BB561A5551F3339171FA4FFE33019A5A1B3FD84B8 |
| SSDEEP | 3:hMCRvF8wtdQFqXMaUAmwa7FAVo3vKXGK2vBzAwaWLv:hzF88Q4YAmwa7FA6vKWLBsnWLv |
| TLSH | T1A4B02B02C4ED05605248700166044011170CD4C833224445522D0448B3094A0F3FFB52 |
| Key | Value |
|---|---|
| FileName | coq-8.4pl6.tar.gz |
| FileSize | 4099815 |
| MD5 | 2334A98B64578CB81D2B4127E327B368 |
| SHA-1 | C89525295659A805661EF91DA24ECFB94E226953 |
| SHA-256 | A540A231A9970A49353CA039F3544616FF86A208966AB1C593779AE13C91EBD6 |
| SSDEEP | 49152:T8J/qKZNXcYhz/OgaWNEdoNPGrw8K4K0jDEnujfge/mG3ThjqTkqGkIH2icEdsaP:MiKZNXcYVv+kv4EnuEe/B9WAyIWi9dXz |
| TLSH | T10616330A8B1B05553DBE1767BC579E9AC2AFDBBCE86DD0CDE870232C10DA325C652532 |