[ANN] GHCup 0.2.0.0 RC (or beta, maybe)

We publish binaries with our GitHub releases: Release v2.8.0 · agda/agda · GitHub (scroll all the way down to “Assets”). After putting the binary in the path one can install it by calling agda –setup which extracts some embedded files into its versioned XDG app directory.

Versions before 2.8 do not support this method, so we would probably not add them GHCup.