<html><head><meta http-equiv="Content-Type" content="text/html; charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;" class=""><div class="">FYI, gpg documentation is incorrect, should be your public key: <a href="http://pgp.mit.edu/pks/lookup?op=get&search=0x88b57fcf7db53b4db3bfa4b1588764fbe22d19c4" class="">http://pgp.mit.edu/pks/lookup?op=get&search=0x88b57fcf7db53b4db3bfa4b1588764fbe22d19c4</a></div><div class=""><br class=""></div><div class="">Thanks for the release!</div><div class=""><br class=""></div><blockquote type="cite" class=""><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">$ gpg --import /opt/local/ports/lang/ghc/files/keyid-ffeb7ce81e16a36b3e2ded6f2de04d4e97db64ad.txt </span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: key 2DE04D4E97DB64AD: 3 signatures not checked due to missing keys</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: key 2DE04D4E97DB64AD: public key "Benjamin Gamari <<a href="mailto:ben@well-typed.com" class="">ben@well-typed.com</a>>" imported</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: Total number processed: 1</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: imported: 1</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: no ultimately trusted keys found</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">$ gpg --verify /opt/local/var/macports/distfiles/ghc/ghc-9.2.3-x86_64-apple-darwin.tar.xz.sig /opt/local/var/macports/distfiles/ghc/ghc-9.2.3-x86_64-apple-darwin.tar.xz</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: Signature made Fri May 27 12:03:10 2022 EDT</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: using RSA key 88B57FCF7DB53B4DB3BFA4B1588764FBE22D19C4</span></div><div style="margin: 0px; font-stretch: normal; font-size: 24px; line-height: normal; font-family: Menlo;" class=""><span style="font-variant-ligatures: no-common-ligatures" class="">gpg: Can't check signature: No public key</span></div></blockquote><br class=""><div><br class=""><blockquote type="cite" class=""><div class="">On May 27, 2022, at 3:31 PM, Zubin Duggal <<a href="mailto:zubin@well-typed.com" class="">zubin@well-typed.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><a href="https://www.haskell.org/ghc/download_ghc_9_2_3.html" style="font-family: Helvetica; font-size: 22px; font-style: normal; font-variant-caps: normal; font-weight: 400; letter-spacing: normal; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-size-adjust: auto; -webkit-text-stroke-width: 0px;" class="">https://www.haskell.org/ghc/download_ghc_9_2_3.html</a></div></blockquote></div><br class=""></body></html>