http://nguipxnkrp3qrzrlduhsatpcpwehnblzmlkc5ifiumxq4z5jlh4lwvid.onion/os_archive/os_vpn_proxy_tor_2.html
As long as Tor is running, you can do gpg --keyserver hkp://jirk5u4osbsr34t5.onion --recv-key 0xD1483FA6C3C07136 Or your onion keyserver of choice. Don't know what you're doing for the cat and grep combo, checking to see if it has any sums and then those for linux64?