@@ -1188,7 +1188,7 @@ packages:
1188 - openpgp-asciiarmor
1188 - openpgp-asciiarmor
1189 - MusicBrainz
1189 - MusicBrainz
1191− - hopenpgp-tools
1191+ # - hopenpgp-tools # https://github.com/commercialhaskell/stackage/pull/5250
1192 - opensource
1192 - opensource
1193 - debian
1193 - debian
1194 - cabal-debian
1194 - cabal-debian