| Key | Value |
|---|---|
| MD5 | 8DFD5BB272D622DD2E1C56A7F21C3430 |
| PackageArch | aarch64 |
| PackageDescription | Coq is a formal proof management system. It provides a formal language to write mathematical definitions, executable algorithms and theorems together with an environment for semi-interactive development of machine-checked proofs. This package provides CoqIDE, a graphical user interface for the development of interactive proofs. |
| PackageMaintainer | Fedora Project |
| PackageName | coq-coqide |
| PackageRelease | 1.fc32 |
| PackageVersion | 8.11.0 |
| SHA-1 | 3ABD519EE817D9639DABB4292520C9C7E7D1EB0D |
| SHA-256 | 3F092F8E8CFC5D2A1ACAB9FEB3C46F1460DBEF0A6D35CCEFF5002205AD3F4118 |
| hashlookup:children-total | 43 |
| hashlookup:trust | 50 |
The searched file hash includes 43 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/wg_Segment.cmi |
| FileSize | 15145 |
| MD5 | DC2D8C67D14F75C6EB00369DE5FF699E |
| SHA-1 | 0558AB8B3CF971365597D82D69235063EBCF74C5 |
| SHA-256 | 4F919BBE529A6BFCFA57E28EB644F8A59E3FF91FFCF65FB0FD898DA1D3CCEB2D |
| SSDEEP | 384:Ax4djs/ikAwgU6xcjkManVDBr7dR9RIC5jz:+4dj1kJjoDv35H |
| TLSH | T16462707E656F4961EC8B21AE12E641B7293501FECBD69FB3C86786E04E1E00D13CC59B |
| Key | Value |
|---|---|
| FileName | ./usr/lib/.build-id/b5/bec2c64a8760b015fa1cabaf3743ff8db17f7f |
| FileSize | 26 |
| MD5 | 8174752BABC43D01FD8935A2B1B08DBB |
| SHA-1 | 07B17EC9F355BED142E4547ACBF01020151718CF |
| SHA-256 | 382D6FD09F754C6796C9A57FFAA814F2F9FCB07A8B1B9F7FAE369F97D1330167 |
| SSDEEP | 3:gCDNUU:X1 |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/coqide_ui.cmi |
| FileSize | 1190 |
| MD5 | 6F29E48F0936CC8BE6B5F5C5247D7CF4 |
| SHA-1 | 0A1863B4DA851A276533359CE6EC5857581264B6 |
| SHA-256 | 7149C23C23F545C44CFCDBF1A99C06326F7A08079467B1984AB32B5813D1791B |
| SSDEEP | 24:6o4/dK4kBe/f+W4pASYSARml0fSnosjvVbBH2R/TB:67lnme/GfpxYS+Snos5bBELB |
| TLSH | T17D21633836925498FC59E3463EF4595F27368104C8888E6E86EF87F01173D69A1C7C87 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/wg_Completion.cmi |
| FileSize | 4468 |
| MD5 | 6DB4BFEF789E1828C8EACE46EF4FF039 |
| SHA-1 | 0C8452C7F3B2B3881C85E2F3A07CAC0028E494D1 |
| SHA-256 | DD55AFFE3A3E8A60540AF68D924EE2CA9CC2C3D7A611A883E699CB5F5675C225 |
| SSDEEP | 96:y+fI1lAcn/5wbXNeeeDYF5WTv9HsosudOVh3is:PQn/YNreDYyvNGP |
| TLSH | T12C91C63E77506856EC6782AD2ADA456737345257C5F3CDBB806667F000A191C83CEC8B |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/utf8_convert.cmi |
| FileSize | 302 |
| MD5 | 4D51622968897E266BD47CD536C52A76 |
| SHA-1 | 14EF61FED0CF1DC7D996545FD494575EDE51C90F |
| SHA-256 | 2431A2BD4B40093B643F2513ECCFAE26934383F88B6FFE204B0711BEFDFEAA9D |
| SSDEEP | 6:BUl/0H6GGGyh0PuylzABsm1EMuuA4wloRMGG2Ad+XRAbmK/nkoPvfA:il/0H6niuOABRgllPd+XmTPA |
| TLSH | T136E02B7625964E38EA2B233A13927653137511EC05C38BE356205E50A1CAD1C56C539F |
| tar:gname | bin |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/wg_MessageView.cmi |
| FileSize | 15442 |
| MD5 | ADE0D1C48E1E1FA5BEDC3A82A64C8869 |
| SHA-1 | 15C1A8DF750188F3D065DC1F11C80E87718810B8 |
| SHA-256 | C63BAAC578C71C57C3B646E0A2FEB8534B9BFB434C0720560823578F7C7CCEF9 |
| SSDEEP | 192:vPq9XH6oEoNqw8hiCCx/9Wt+mA6SHacmnVRMAG6GeCtuoXqrVuO7kHY/q59fY:vKX9EoIxoCA/0cmAFHaRnVyucCVC5VY |
| TLSH | T15B62847E645F0962ECCB61AD22E251B7267441FECBD69EB3C82386E50F1E00D138C59B |
| Key | Value |
|---|---|
| FileName | ./usr/share/icons/hicolor/512x512/apps/coq.png |
| FileSize | 50228 |
| MD5 | AB59C323D8B5F90D9552EADE92BDCFE4 |
| SHA-1 | 1FED72BEA135C5E22B54DD275066A29332D13736 |
| SHA-256 | 26BC0A63D6E2925E63EA5DCD24D86B5C4935A8C327683FE9C149570E09B49ECB |
| SSDEEP | 768:BZM5y8N2gvcDKfO1Z0bIUqZjSClv0ruJblz8ataz8WimYxVwrDhjVJnieakPrNjZ:B+UiO1GcUHCN0Yw1iPVw5b1zNj9n |
| TLSH | T19E330123EAC54CD3E15F86F4BA4A35167FA380303AA32B36B550FC6B860E35C87599D5 |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide |
| FileSize | 11014080 |
| MD5 | 2B2F47426DA66C3DCCBB6702A38FD376 |
| SHA-1 | 26779DDDF0A47BE8A18ED0A03129101B27600409 |
| SHA-256 | 5A633FB22D043984D6DDEB66C3589143078DE537535D54A82BCC18CD29D3B432 |
| SSDEEP | 98304:29Mga8lQxoLuuVhFCnRosAbbSl8Ss9Y043tboPS1m2d21uK+Rwk5fYzcODfkr9Rc:2bauQxohhUnRNEm6bWZj/e |
| TLSH | T1FEB60A7FFE4EE5ACDEDC96B04AA94BC3A129F505A4D0C3621A5532143EC32E90A7F4D4 |
| Key | Value |
|---|---|
| FileName | ./usr/lib64/coq/ide/sentence.cmi |
| FileSize | 1511 |
| MD5 | B847A2478E9292D1A8E26A7A875CA89D |
| SHA-1 | 2A734032B90A16D1390AA3254E9BB0F7DC99394D |
| SHA-256 | 1231F0A2B59603BB8169FE6E561875D4D53425D2F56A375B11FB4AD7B2716F54 |
| SSDEEP | 24:ytu88SSNNABoL9+tAhw5e/pplMw+W4pASYSARml0fSnosjvl9bBHUZoTB:E8fCoRAze/ppuxfpxYS+SnosHbB0ZWB |
| TLSH | T15531746936907991FC48F39A2FC0586F63344258CAD88E3B48D987F0507291CA3CED4B |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coqide.desktop |
| FileSize | 195 |
| MD5 | F2C51C65414E049BE6E03FBFD05DF03E |
| SHA-1 | 2ACE52D4CC575EE71C3773371D18AA5F65642B43 |
| SHA-256 | BBFA62CEDC4D9388D50C33DB73F35FE4C1B7817DD2EB314CF936D4F4EAA6542B |
| SSDEEP | 3:ag4z11JxhB7AIq2xHWVPd2sGNGKx9oERMQ7RAThEiuF1EVMMQGkjnjIARL0qVLBv:agO3hVxHWn2TPoc9iuI8jjIAt0uLZ |
| TLSH | T1F8D022E720080166110A316A4B0288C292BB190E18D88C00F00860269380909D5BB79E |