this got replaced with ghcup iirc