search

agda / fix-whitespace

Fixes whitespace issues
https://hackage.haskell.org/package/fix-whitespace
Other
8 stars 5 forks source link

Support GHC 9.12 #64

Open andreasabel opened 1 week ago

andreasabel commented 1 week ago

Blocked on:

Needs dependency bumps:

ndmitchell commented 1 week ago

Should be unblocked by moving to extra-1.8

andreasabel commented 6 days ago

Thanks, @ndmitchell !
Seems like we are good then, at least everything works with (selective) --allow-newer.

Maybe we should leave the issue open until the dependencies have relaxed their upper bounds.