[ fix-agda-whitespace ] Back-ported to maint-2.4.0
[ cabal ] Updated tested-with field