Hämtningssida för agda-bin_2.6.1-1+b3_hppa.deb på HP PA-RISC-maskiner

Om du kör Debian rekommenderas det å det bestämdaste att du använder en pakethanterare som aptitude eller synaptic för att hämta och installera paket, istället för att göra det manuellt via webbplatsen.

Du bör kunna använda valfri av de angivna speglarna genom att lägga till en rad i din /etc/apt/sources.list på den här formen:

deb http://ftp.ports.debian.org/debian-ports/ sid main

Ersätt ftp.ports.debian.org/debian-ports/ med spegeln i fråga.

Du kan hämta den önskade filen från underkatalogen pool-hppa/main/a/agda/ på någon av dessa platser:

Asien

Europa

Om ingen av platserna ovan är snabb nog för dig, se vår fullständiga spegelförteckning.

Note that HPPA is not officially included in the Debian archive, but the HPPA porter group keeps their archive in sync with the official archive as close as possible. See the HPPA ports page for current information.

Observera att du i vissa webbläsare måste tala om att du vill att filen skall sparas. I Firefox och Mozilla, till exempel, håller du ned Skift-tangenten medan du klickar på webbadressen.

Ytterligare information om agda-bin_2.6.1-1+b3_hppa.deb:

Exakt storlek 16110172 byte (15,4 MByte)
MD5-kontrollsumma a23cd9b6bfc100c0db4d1c642a8929a7
SHA1-kontrollsumma Ej tillgänglig
SHA256-kontrollsumma 9fe9a55fdbc9f61e81fe6083b934356099fc1c2a0fc14377c60d6f8ce3f2a3ca