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