Página de download para agda-bin_2.6.4.3-1+b1_hppa.deb em máquinas HP PA-RISC

Se estiver executando Debian, é altamente recomendável usar um gerenciador de pacotes como aptitude ou synaptic para baixar e instalar pacotes em vez de fazê-lo manualmente por meio deste site.

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://ftp.ports.debian.org/debian-ports/ sid main

Substituindo ftp.ports.debian.org/debian-ports/ pelo espelho em questão.

Você pode baixar o arquivo solicitado do subdiretório pool-hppa/main/a/agda/ em qualquer um destes sites:

Ásia

Europa

Se nenhum dos sites acima for rápido o suficiente para você, consulte nossa lista completa de espelhos.

Observe que HPPA não está oficialmente incluído no repositório Debian, mas o grupo de porte HPPA mantém seu repositório sincronizado com o repositório oficial o mais próximo possível. Veja a página de portes HPPA para informações atuais.

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 agda-bin_2.6.4.3-1+b1_hppa.deb:

Tamanho exato 14738976 Byte (14.1 MByte)
Soma de verificação MD5 fdf63f39a9eab5d01ba0daa47da8cbfb
Soma de verificação SHA1 Não disponível
Soma de verificação SHA256 dcada3d669a5813022e787bac08f7a7a17df80a0ca495a72e400d9c7701baf5d