Add bryans PGP key

2023-09-26 22:08:07 +08:00
2 changed files with 7 additions and 1 deletions
--- a/docs/guide.md
+++ b/docs/guide.md
@ -492,6 +492,7 @@ First, obtain the gpg keys:
 gpg --batch --keyserver keys.openpgp.org     --recv-keys 7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C
 gpg --batch --keyserver keyserver.ubuntu.com --recv-keys FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01
 gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4
+gpg --batch --keyserver keyserver.ubuntu.com --recv-keys 33C3A599DB85EA9B8BAA1866B202264020068BFB
 ```

 Then verify the gpg key in one of these ways:
--- a/docs/install.md
+++ b/docs/install.md
@ -296,7 +296,12 @@ Lower availability of bindists. Stack and HLS binaries are experimental.
 Download the binary for your platform at [https://downloads.haskell.org/~ghcup/](https://downloads.haskell.org/~ghcup/)
 and place it into your `PATH` anywhere.

-If you want to GPG verify the binaries, import the following keys first: `7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C` and `FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01`.
+If you want to GPG verify the binaries, import the following keys first:
+
+* `7D1E8AFD1D4A16D71FADA2F2CCC85C0E40C06A8C`
+* `FE5AB6C91FEA597C3B31180B73EDE9E8CFBAEF01`
+* `88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4`
+* `33C3A599DB85EA9B8BAA1866B202264020068BFB`

 Then adjust your `PATH` in `~/.bashrc` (or similar, depending on your shell) like so: