| Key | Value |
|---|---|
| MD5 | 7BA78A431ECC3655E72F50A571A1F2CE |
| PackageArch | x86_64 |
| PackageDescription | The Coq Integrated Development Interface is a graphical interface for the Coq proof assistant. |
| PackageMaintainer | https://bugs.opensuse.org |
| PackageName | coq-ide |
| PackageRelease | bp155.2.13 |
| PackageVersion | 8.13.2 |
| SHA-1 | D03A1593AED264A65197E29B44D1EACEF0741074 |
| SHA-256 | 25C833AAF987DC1E310E19926549552DCE2940980A7C1CC95A2B58129FEB2996 |
| hashlookup:children-total | 13 |
| hashlookup:trust | 50 |
The searched file hash includes 13 children files known and seen by metalookup. A sample is included below:
| Key | Value |
|---|---|
| FileName | ./usr/share/icons/hicolor/256x256/apps/coq.png |
| FileSize | 23 |
| MD5 | A80B8A5EAAABF12C489845C6F25A8BB6 |
| SHA-1 | 3018634022B3BBD3516BD15A09E18D29FE73ADD9 |
| SHA-256 | 3405FE341236773AC7395232432AF076029278DBA96981472C58C1629A2C491B |
| SSDEEP | 3:gCWd5LC:iu |
| TLSH |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq_style.xml |
| FileSize | 1441 |
| MD5 | 3EB03E37D05236B3A49ECB675D284753 |
| RDS:package_id | 182052 |
| SHA-1 | 504B791AB92FD9F15DE11B72CDECBE59CD0A94E8 |
| SHA-256 | B6F4BFC21ABA6AEEB569663F750C2CE01CC0DEB89DACF75694F20C8722E4A310 |
| SHA-512 | CFBC44C40749D749A613B41B57CAE52913E22D54AFF1117F2CEC133D6BF70FD830A902AACE4D7B6166738E7A7ACC776C70ED30036E476DE4A27D8260D121FBA2 |
| SSDEEP | 24:2dky2SVeFhpq+JyNSod+0XgcAR55WMuNwv:c88e1ofE0XgN6E |
| TLSH | T10621286CBBF10C1853F7C4BEB88178081819E1E15E16E39067EFB834184EAD6382B983 |
| insert-timestamp | 1727037182.4660974 |
| mimetype | text/xml |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqide |
| FileSize | 7254496 |
| MD5 | 28E9DEB66C58CEBED1D0642B9A825033 |
| SHA-1 | 4D3CD1747FDA6A386C27DFF042034B077A0F9196 |
| SHA-256 | 0878D784E1B07B2C6CFBD1029B3068D94DEE7A8EDA12AFCB7E74C4CE687370C8 |
| SSDEEP | 98304:APUVc8qwB27b5mu9RH577x77t7AsOLiY8:APIqwB45mun577x77t7AsOZ8 |
| TLSH | T1B276087FAA4E6E6EE23FD538C5984772BD613C10936067032BD056190F07AC68F6EAD1 |
| Key | Value |
|---|---|
| FileName | ./usr/share/applications/coq.desktop |
| FileSize | 246 |
| MD5 | E1360702381A83A2DFC3ECEE44F01F7A |
| SHA-1 | 5F0748D5C55CAF1D0E6BFCAC248E7A6571330CC8 |
| SHA-256 | 6815CA95EE29BFD21A7279F1F8AFBCAC55F2FC2DB3739BF82EFA43A3413A20FA |
| SSDEEP | 6:agQM8L8c58IWByZWByJ2cAzYCjBIRukhYGCBI:rKL8c58rcPCjBsdhYGCBI |
| TLSH | T150D0956731198121865D11D24696CDC54173003804367060FC1126B09024E437197FD8 |
| Key | Value |
|---|---|
| FileName | ./usr/share/doc/packages/coq/FAQ-CoqIde |
| FileSize | 2514 |
| MD5 | 763C1708CA4C70954E6A86DAAFE628DC |
| RDS:package_id | 182052 |
| SHA-1 | DBA1BC562B15A330013F388EC4B5D431FBE3EF76 |
| SHA-256 | 5F76EE7217CE942EF350BFBE7D4F5EE368C21C4877C9D50C06489DD56BD71D22 |
| SHA-512 | 7FF430F54DB0E740047D5631EC4E323D46F9A6064345BC5A6D554C0958AB980732207F281570A661BC5E7DFC7F62DA2EE056F6518F77FB5D76F98B63E4BCAB16 |
| SSDEEP | 48:vzcWCElVfRszUCG07lIu1YdM+T3ITEOQURs0j+qRhm83Vyri:vwWCsVpsbGrqYMi3IlRsg3Wi |
| TLSH | T12851C5669283237219C38171322CD9A59B3FDDBC5233598A6C3D85D8128477493FEEEB |
| insert-timestamp | 1679425506.213619 |
| mimetype | text/plain |
| source | RDS.db |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq.lang |
| FileSize | 9946 |
| MD5 | D92E1DA4EBA2D4073C6E30B4242F20A7 |
| SHA-1 | A7C6BB6CD9095D22911B455B1EDA4DCD67ABD8F8 |
| SHA-256 | 8F6758E5413173799D07D4897266FF5144C140B545FD47F1B9F18A228A7CA224 |
| SHA-512 | F63DB9C0EE3F8D8801E01D4B6AFE050E4098E7697D4CB2833BF95371BABBAB79D5DA7DC3A8F6C75D81AC9FA8A33B7346F6C995A91327AC3D347D294026120544 |
| SSDEEP | 192:HbVZZAIteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZx1r9GCZlrNyOmyexdh |
| TLSH | T17C2244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259 |
| insert-timestamp | 1643556779.4071786 |
| mimetype | text/xml |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/mime/packages/coq.xml |
| FileSize | 419 |
| MD5 | E134DD73E097FD8D2D66318CE377EE95 |
| SHA-1 | 3C7F6996212F7A08272A79681DB391AABBBD7919 |
| SHA-256 | B782925E042C904FF1EE87BF5CD04DB51FC481FFFE2336FF60B77ABF73CEDB8E |
| SSDEEP | 12:TMHd9KLSj92OlHnYGjXX7U7tysblHOXGFys2OAE:2d9/jMOlLjHWtysblSGFysR9 |
| TLSH | T1B4E0E5C4E6D398556170E9174B2BD018730593A74194B9AEF6C1CE71DAA1FD1069234D |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/default.bindings |
| FileSize | 34133 |
| MD5 | BBC37DD26371EBB15E749E7169DDE41B |
| SHA-1 | E34251A49BB0073A2AC83AFE09E6987336205AE9 |
| SHA-256 | 7627950EE4E76DFF2BFFC0BC93D42FAC23B659A37EFC6E8B3BB978DACC9FFD7E |
| SHA-512 | 8A37FE0133BA5B4C52479BFFAA25BAF48E72EDCDFE3A983F00B23851E5436FB82D89177A9F2F06DBA81F0A800670E22CBE6E0D81E7F5881F5DDC7BA189871D4B |
| SSDEEP | 768:3Ir8jHdhz4SqE21b8pCaxKlB28SppoT+TFaq02JCCBFD3iQ1:YwLdhz4sagpCaxuB2HppTlNFD51 |
| TLSH | T123E2F89FF3EBD9738A2B38A15006764DF237C6EC8149C1547AD2985FA7CC227592A31C |
| insert-timestamp | 1650070137.1279445 |
| mimetype | text/plain |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_28 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq-ssreflect.lang |
| FileSize | 9756 |
| MD5 | 8AECFF56976872B6E53ED389AB6A779C |
| SHA-1 | F14D74A07C7D2E5CB156FF83CE14B8E419601AB1 |
| SHA-256 | F7147EB9A8F51C7EF808D9EB46913BBCCCC586FA1BEDDD261700CD47154D1EDF |
| SHA-512 | F109CCC2ACD93D7421F4B0F161DED91F04CCFF15341883336A3D5EAA1DBFFBC1C1B72E5037D457B6B29A44DFAAAE3AB33AF700D08E6E9B3A90FA60D7D5B6FCD3 |
| SSDEEP | 192:H3VZZAvqJwJVKb8kB+5RovuPt+KWkr+4h8R3:H3VZZzOVKbXA5RovU+4h0 |
| TLSH | T13712587895FB8E11BC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9B00CF296 |
| insert-timestamp | 1643556779.4113753 |
| mimetype | text/xml |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_27 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/share/coq/coq.png |
| FileSize | 12907 |
| MD5 | 5FC00DFA3FC9733616991E845B4A5DF6 |
| SHA-1 | 73C29413AC80A4123B6D1D45A5B595C13F9F2168 |
| SHA-256 | AAF038869D97CDD4EE30CB23337D3479E74AAD0A2AAD5F2A874817866A5F1DB9 |
| SHA-512 | 2F0D7576BE42D79AF9EF516715C8C1A789A45173E30024132265B22D2E09CBB66AF326AC9B224FD5A7019F5B1B9CF8FD13E5202F33AE11EE748EB064F6DC8F44 |
| SSDEEP | 384:5dTKPkzhKNWAOrNaTqHF7UBOSGj0BIJzMQYtnHzEx5G:5tzNgcZAcSGgWOQYtT+G |
| TLSH | T1D542C0141BD4621028733CB79B28143B496E9A6E79A3F49CB34C8334A7D638813DEF65 |
| insert-timestamp | 1727037182.4693353 |
| mimetype | image/png |
| source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop.opt |
| FileSize | 19800744 |
| MD5 | B082A27EDAE85D7707637B5054F04B5A |
| SHA-1 | E866B00D08F7CFCC3EF79B0D81C0C647A879D140 |
| SHA-256 | C7EB2484CC24B35F0E9E0F817F3AC3CEB56FE78AF43BE33213523716A0FCA09C |
| SSDEEP | 98304:3QJsnIqG/7rKmWcZuLabY8rCSEjJmPYilKWk3LpqeiBRQkNfaEnXvz:AKpUK6ZuL+OSEcPYLWk3lMBWkNSEnX |
| TLSH | T16C17396BFD8A597DC6B8C13986A657727FB1742806916B031AD077100F036EE1BBEBC4 |
| Key | Value |
|---|---|
| FileName | ./usr/share/man/man1/coqide.1.gz |
| FileSize | 908 |
| MD5 | 0BF30F9B919869D9092233D7FC02C47A |
| SHA-1 | 0ED78FD9EEDD79E5D3E18724F1264914D0E25516 |
| SHA-256 | 715B2460BE3922621DD43018BAEB3FA0EB399135B6F272CD1CFAD1F32BB937E6 |
| SSDEEP | 24:XvbBgh3mzMoQNdn8Q4QvO6XEljBIKrEjgrV:Xvb6pFT8CvN0ljnB |
| TLSH | T181118822D0045728946A332A35758A4171C06039EBFD3E6477779439994F86665D224B |
| tar:gname | root |
| tar:uname | root |
| Key | Value |
|---|---|
| FileName | ./usr/bin/coqidetop |
| FileSize | 13 |
| MD5 | FAAA51C1EB461939B77FB577442443E5 |
| SHA-1 | A0BFF8CCB153D36E00FEFD5530E5DA0269D71445 |
| SHA-256 | FA12503B69CAC91AD833EBF521DC4C3BDB2DA08F6532429FD6831CAD3B9B3422 |
| SSDEEP | 3:LBAshKVRn:L2ZVRn |
| TLSH |