doc: Suggest pgp.mit.edu.
authorLudovic Courtès <ludo@gnu.org>
Wed, 1 Jun 2016 20:08:29 +0000 (22:08 +0200)
committerLudovic Courtès <ludo@gnu.org>
Wed, 1 Jun 2016 20:25:57 +0000 (22:25 +0200)
commitb2e13aa287ef366aa6374dc915520199ef5589ad
tree9c48403c08d8f477b9631915418a50b2aa825eea
parentc44fb4df8a2114b482285d522033050c1c94dfba
doc: Suggest pgp.mit.edu.

* doc/guix.texi (Binary Installation): Use pgp.mit.edu instead of
keys.gnupg.net, which seems to be dead.
doc/guix.texi