[Cryptech Core] Debian packages for the Novena, what next?

[Rob Austein]

At Wed, 08 Jul 2015 18:13:07 -0400, Paul Selkirk wrote:
> 
> I guess I beat Randy to the clueless-user test.

I did say you'd have to fetch using a tool that knows about the HACTRN
CA certificate if you wanted to use TLS to check the temporary key.
Eg:

$ wget -q -O hactrn-cacert.pem.asc http://www.hactrn.net/cacert.asc
$ gpg hactrn-cacert.pem.asc
$ wget -q -O - --ca-certificate hactrn-cacert.pem https://apt.cryptech.is/novena/apt-gpg-key.asc