Not an issue: a heart-felt compliment
For kicks, I thought I'd install (by compilation) 8.10.5 on an 8GB raspberry pi 4B running (64 bit) ubuntu 20.10 (with ghc 8.10.4). It worked!! I'm amazed how far things have come on since to 80's when I was called a "software engineer". 8.10.5 took about about 36 hours, but no surprise.
(1) Now about to attempt installing cabal's latest version of Agda... Cavils: (2) Couldn't compile 8.10.5 on (32 bit) raspbian with 8.10.4, for some crazy (unrecorded) reason... (3) Couldn't install cabal-fresh Agda on 8.10.4 (32 bit), with out-of-memory errors.
Who cares? Like anybody else, ghcup people might appreciate a compliment. Why doesn't gitlab have an "Thanks!/It-worked-for-me" button?