Result for 3018634022B3BBD3516BD15A09E18D29FE73ADD9

Query result

Key Value
FileName./usr/share/icons/hicolor/256x256/apps/coq.png
FileSize23
MD5A80B8A5EAAABF12C489845C6F25A8BB6
SHA-13018634022B3BBD3516BD15A09E18D29FE73ADD9
SHA-2563405FE341236773AC7395232432AF076029278DBA96981472C58C1629A2C491B
SSDEEP3:gCWd5LC:iu
TLSH
hashlookup:parent-total8
hashlookup:trust90

Network graph view

Parents (Total: 8)

The searched file hash is included in 8 parent files which include package known and seen by metalookup. A sample is included below:

Key Value
MD5EE6B811E4C31D4B19F0802384FF5C133
PackageArchx86_64
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageRelease1.6
PackageVersion8.14.1
SHA-1E3FFD398B1E8C3D6045627A0CAA7C9B9EFBCF29D
SHA-2566917CB5C52230AC4CC285D8ED3F0BC0B930ADF32E9325EAD195AF22E14C2374B
Key Value
MD5EB120A61EED3EFF8C8A3FC276098BFD0
PackageArchs390x
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageReleasebp154.1.44
PackageVersion8.13.2
SHA-17D004D8B780CB5FB160B152412DEAD0B89E30B03
SHA-256428F9C255441965FEC51F6A7990F2DEAA894D6D8D058FB8478465F7127ADD924
Key Value
MD50F20AFCAF34A8A1301F399FD5E00F5FF
PackageArchs390x
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageReleasebp155.2.13
PackageVersion8.13.2
SHA-127402C7A167D2E802DD6123BE162C8A4DC8B3229
SHA-256946B696D1C9B18A0382458FED1AD629F4BFC03F8545CF620E4FE1A03F804610B
Key Value
MD5404520BE1EFF71E5E074957C179231D6
PackageArchi586
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageRelease1.6
PackageVersion8.14.1
SHA-1889735BA26443F2DBB5D31890E7A31AAC01E6A9D
SHA-2567772620916938D4D7A383867F6DDD21DC984E999BA5F72158E80052385EBEA08
Key Value
MD5F243CE357E0963A5BC33280C797BBD91
PackageArchs390x
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-159277DF7FBFC303CD2F443185DA22DCFD1961A36
SHA-256081794A6D5C00364DBD16662CA87A4F565C80480B5C61F762508342AF2FF29D3
Key Value
MD57BA78A431ECC3655E72F50A571A1F2CE
PackageArchx86_64
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageReleasebp155.2.13
PackageVersion8.13.2
SHA-1D03A1593AED264A65197E29B44D1EACEF0741074
SHA-25625C833AAF987DC1E310E19926549552DCE2940980A7C1CC95A2B58129FEB2996
Key Value
MD5B92310784251D57485B37852C11670AF
PackageArchx86_64
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageReleasebp154.1.44
PackageVersion8.13.2
SHA-13568BC61CDE2941BF4E73734A6FA27029C5F9E7F
SHA-25693FFC7C7B79804B6BD6C7EE35C0EC726D0E0A2DA4744A04C4DAFBE565EE43A69
Key Value
MD5E8A3784193F9A4F3CC020D28E14BC8B3
PackageArchx86_64
PackageDescriptionThe Coq Integrated Development Interface is a graphical interface for the Coq proof assistant.
PackageMaintainerhttps://bugs.opensuse.org
PackageNamecoq-ide
PackageReleasebp156.1.14
PackageVersion8.19.1
SHA-14BB1C126F8D54DA89C438EE3E4C33FFC798FE664
SHA-25632897E91C3BF971AD2F071538A6739FE8253EBB6E5BA50B1B81B17F4D12A8348