Add bryans PGP key

This commit is contained in:
Julian Ospald 2023-09-26 22:08:07 +08:00
parent 371eda962f
commit d6ee392eab
No known key found for this signature in database
GPG Key ID: 4275CDA6A29BED43
2 changed files with 7 additions and 1 deletions

View File

@ -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:

View File

@ -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: