@@ -2135,7 +2135,7 @@ packages:
2136 "Denis Redozubov <denis.redozubov@gmail.com> @dredozubov":
2136 "Denis Redozubov <denis.redozubov@gmail.com> @dredozubov":
2138− - hreader-lens
2138+ # GHC 8 - hreader-lens
2140 "Yuji Yamamoto <whosekiteneverfly@gmail.com> @igrep":
2140 "Yuji Yamamoto <whosekiteneverfly@gmail.com> @igrep":
2141 - yes-precure5-command
2141 - yes-precure5-command