Key | Value |
---|---|
MD5 | EE6B811E4C31D4B19F0802384FF5C133 |
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 | 1.6 |
PackageVersion | 8.14.1 |
SHA-1 | E3FFD398B1E8C3D6045627A0CAA7C9B9EFBCF29D |
SHA-256 | 6917CB5C52230AC4CC285D8ED3F0BC0B930ADF32E9325EAD195AF22E14C2374B |
hashlookup:children-total | 12 |
hashlookup:trust | 50 |
The searched file hash includes 12 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/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/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/share/applications/coq.desktop |
FileSize | 246 |
MD5 | E1360702381A83A2DFC3ECEE44F01F7A |
SHA-1 | 5F0748D5C55CAF1D0E6BFCAC248E7A6571330CC8 |
SHA-256 | 6815CA95EE29BFD21A7279F1F8AFBCAC55F2FC2DB3739BF82EFA43A3413A20FA |
SSDEEP | 6:agQM8L8c58IWByZWByJ2cAzYCjBIRukhYGCBI:rKL8c58rcPCjBsdhYGCBI |
TLSH | T150D0956731198121865D11D24696CDC54173003804367060FC1126B09024E437197FD8 |
Key | Value |
---|---|
FileName | ./usr/bin/coqidetop.byte |
FileSize | 39222482 |
MD5 | 7BA390E87A098990D1BA54DDA46DBAD1 |
SHA-1 | 1336EA394C8F4CF8DF6689D66F072C1CCE17B57A |
SHA-256 | E5F64711C3FBF5650366E318BCCD7CBDE7DDC14C895AD0ADBE22F161010FC0E8 |
SSDEEP | 393216:cwFQO5XO2ubugxH3DYSB1CjyvutrUXDLnB:OO5X1udnggzF |
TLSH | T14987F74FEB596965CD940AFD8CDA428B47E0593C86C34EBB815F02D5D083B0E2F52E9B |
Key | Value |
---|---|
FileName | ./usr/bin/coqide |
FileSize | 9971056 |
MD5 | 3B5AD6CF30930824247A8F420C18693D |
SHA-1 | 6B826EEC11DCA8B239BD06BBCDD2D7310F1A296B |
SHA-256 | FCAB18F0DF0AF75710D65A05B4FC288D0503AE14DA2C09344E2FB6BAEF8B34BB |
SSDEEP | 49152:UYadsQgB/edt6WPTsliooVYMJDSFo+6cS+eFcH2+P7g0dYH8zM9e90u5YjWoJOBy:U9ZgC6kqHiJq563xThfRDOae2j |
TLSH | T1F3A6172FFE5F1ABDC6F9D13284A55770BAA5F8846950B7731A8032340E035A50BBE7D8 |
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 | 9766 |
MD5 | BD106BEDDBF1373305AC4494498A4686 |
SHA-1 | A9A9C7FEC8DAD01FFE377675097221C87D8A9667 |
SHA-256 | ACC77089900D4745BD2287D5F80B86A1DDFBB959417641A81F61D624A578B8FA |
SHA-512 | 38CA20A2444D6DF91871C5C3EB830ACC1B1A326DCDB20CCFD36B47F89988861FA3FD33CCAAEBE65B59925E7E9B84F2E0835770672EF29221C9CD720EC9F88944 |
SSDEEP | 192:H3VZZAvqJUJVKb8kB+5RovuPt+KWkr+4h8R3:H3VZZzyVKbXA5RovU+4h0 |
TLSH | T16A12587895FB8E11BC46C89173D4F5067A72F1E35224586E72CE0A5CFBC5A9B00CF296 |
insert-timestamp | 1727037182.451335 |
mimetype | text/xml |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |
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 | 20379352 |
MD5 | 07A4C1BBCE3D88B45270BEFDD9736F57 |
SHA-1 | B9394095780A269A370DFDBE703A45248E7CBF43 |
SHA-256 | 57FC93920F0E52CA646B6B19076E56153C7B7D61009AF9F0613731074745C1A0 |
SSDEEP | 196608:44PRp+0jEniV+/hvz5+cprZhXgICpy84Rw:4939LPw |
TLSH | T1CE272A1BBACA5A7DC3F9C23689764771BB71B4682A417B1319D063211F139BA1B7E3C0 |
Key | Value |
---|---|
FileName | ./usr/share/coq/coq.lang |
FileSize | 9954 |
MD5 | 6F2ED074A73273451661D52CB9915B87 |
SHA-1 | 2869B46658F09538D81E56F45DF1545D3AE81FF6 |
SHA-256 | 94310B4AB4BA8F34356DC777F62C05D7409493C17C9F88C0235A1DCC05647521 |
SHA-512 | 6D88B4A20CF444767CFF7BD8835020FE638DD92D9EDCC6C1DCCDB9F9A58E665CE23A260577FF4088C72BF120BBAC98F3AF26E5C91056E8808A99F21C698EF863 |
SSDEEP | 192:HbVZZAlteYr9GuRPxlrNTyOmbSpzeY2q2h:HbVZZw1r9GCZlrNyOmyexdh |
TLSH | T1702244B8C8FB8E05B856C45173D0F5067E66F5E35229986E36CD0A98AFC1EDB00CF259 |
insert-timestamp | 1727037182.4482467 |
mimetype | text/xml |
source | snap:o6VxNjysVdkpKBde54Vb4BDJdEbcsGpT_34 |