SHA512 (distribution-gpg-keys-1.80.tar.gz) = b673bb55c01b6e3b15c76813e6bbed76fe7ea0a1dc691828bcdaeababddde8c26c1fabf077786f92e4ad1f2e670d9f9b37c8d3909ef95db869202ff9acdf00d5