[ fix-agda-whitespace ] Back-ported to maint-2.4.0
[ cabal ] Updated tested-with field
Fixed whitespace issues
Merge branch 'maint-2.4.0'