[ANN] GHCup 0.2.0.0 RC (or beta, maybe)
Haskell Community [Unofficial]
April 15, 2026
I’ve added it here: Add Agda · haskell/ghcup-metadata@89d8d01 · GitHub
It should show up in the default channel when using the prerelease.
Once a proper release commences, I will move those tools to separate channels.
Discussion in the ATmosphere