[ fix-agda-whitespace ] Back-ported to maint-2.4.0
[ cabal ] Updated tested-with field
Instructions for testing the repository with a new version of GHC
Merge branch 'maint-2.4.0' of github.com:agda/agda into maint-2.4.0
[ git ] More ignores.
[ bench ] Andreas timings of library-test.
Merge branch 'maint-2.4.0' into NameRep2