Installing GDC / Linux / x86-64 when apt-get doesn’t work

[Cecil Ward]

On Tuesday, 11 July 2023 at 04:11:38 UTC, Cecil Ward wrote:
> I’m trying to install GDC on a new Linux box and I don’t know 
> what I’m doing. Background: I have installed LDC successfully 
> and have installed GDC on a Raspberry Pi using 32-bit ARM.
>
> For some reason the apt-get command doesn’t work on this 
> machine, don’t know why. The machine is a virtual server hosted 
> on the internet and I can get support for the o/s.
>
> What is the recommended procedure for fetching the x86-64 
> prec-compiled GDC?

The OS is Debian v 12 x86_64.