Result for 07BB4E729B54B8CF1E796424C62B4F28F8AD509F

Query result

Key Value
FileNameusr/lib/ghc-8.10.4/site-local/Agda-2.6.1.3/Agda/TypeChecking/Rules/Builtin/Coinduction.dyn_hi
FileSize53157
MD577DC75868148E702693D6FAF407C5CDA
SHA-107BB4E729B54B8CF1E796424C62B4F28F8AD509F
SHA-2565E11C6AFB92BE702DE89A5D949CEDAE1097940B385D6DA43704C4A5D2370FEFE
SSDEEP1536:zgfamxa1IZ8G+gvBHp38GVE9B0w/NRtGzprM5tHTbaLkixFPNE4lSpRPR7RsnKaT:z2amxa1IZ8G+gvBHp38GVE9B0w/Nip46
TLSHT18F33A627BF84CC41EE3D1E71CCBB47566B12E4D22042A75B072A61B6ECAD8E55CE27D0
tar:gnameroot
tar:unameroot
hashlookup:parent-total1
hashlookup:trust55

Network graph view

Parents (Total: 1)

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

Key Value
FileNamehttp://archlinux.mirror.root.lu//pool//community//agda-2.6.1.3-9-x86_64.pkg.tar.zst
MD59F0C59D9FAE86EC4D9B720006F5DD8F7
SHA-1474F66B9DA3A15A0D229AE50BC9B305F81A1D2FA
SHA-2560279952CA88D6ACA7C3B384D3E0D32AC612F0FAADC308E619D5B4D59C033FFE8
SSDEEP393216:qkdpjMNckhxfOEzk7+d3vYQdb8J47OJG2hJqbWVSzTVcTXnGf3zXt5XgTgwYJZXE:qkrcH5k7EvBdTOJLTlSNcTXnejdOcCl
TLSHT1405733B963E2443961488C4FD5B5E4B68BD1E891D3728995BB109C83F837BF1C39E4B2