Closed asr closed 3 years ago
I could install the library with GHC 9.0.1 for only bumping the upper bound for base. Could you make a revision on Hackage please.
base
Blocking https://github.com/agda/agda/issues/4955.
Thanks!
I could install the library with GHC 9.0.1 for only bumping the upper bound for
base
. Could you make a revision on Hackage please.Blocking https://github.com/agda/agda/issues/4955.