@@ -25,7 +25,7 @@ packages:
25 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
25 "Andreas Abel <andreas.abel@gu.se> @andreasabel":
27 - STMonadTrans
27 - STMonadTrans
28− - Agda < 0 # https://github.com/commercialhaskell/stackage/issues/5826
28+ - Agda
29 - agda2lagda
29 - agda2lagda
30 - ListLike
30 - ListLike
31 - haskell-src
31 - haskell-src