Página de download para gnat-12-riscv64-linux-gnu_12.2.0-13cross1_amd64.deb em máquinas AMD64

If you are running eLxr, it is strongly suggested to use a package manager like apt to download and install packages, instead of doing so manually via this website.

Você deve ser capaz de usar qualquer um dos espelhos listados ao adicionar uma linha como esta no seu arquivo /etc/apt/sources.list:

deb http://mirror.elxr.dev/elxr aria main 

Substituindo mirror.elxr.dev/elxr pelo espelho em questão.

Você pode baixar o arquivo solicitado do subdiretório pool/main/g/gcc-12-cross-ports/ em qualquer um destes sites:

Observe que, em alguns navegadores, você precisará informar que deseja que o arquivo seja salvo como um arquivo. Por exemplo, no Firefox ou Mozilla, pressione a tecla Shift ao clicar na URL.

Mais informações sobre gnat-12-riscv64-linux-gnu_12.2.0-13cross1_amd64.deb:

Tamanho exato 21500396 Byte (20.5 MByte)
Soma de verificação MD5 9b7478084f4eba2589c27051d0cf5a51
Soma de verificação SHA1 4bc6111eeab935400853622948b3c4167b26a80f
Soma de verificação SHA256 d5221d25925591551340463613cf4f9ce219cc02fe18d02266a459671357ef84