[ANN] GHCup 0.2.0.0 RC (or beta, maybe)
Haskell Community [Unofficial]
April 15, 2026
For something like Agda, I’m willing to maintain that in the ghcup-metadata repo itself.
Can you point me to the proper releases and I will have a look.
Discussion in the ATmosphere