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.de.debian.org/debian etch main
Ersätt ftp.de.debian.org/debian med spegeln i fråga.
Du kan hämta den önskade filen från underkatalogen pool/main/a/acl2/ på någon av dessa platser:
Nordamerika
Sydamerika
Asien
Europa
Australien och Nya Zeeland
Om ingen av platserna ovan är snabb nog för dig, se vår fullständiga spegelförteckning.
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.
| Exakt storlek | 17871348 byte (17,0 MByte) |
|---|---|
| MD5-kontrollsumma | 59f6f67c58ef9a59847eafc779cad1f2 |
| SHA1-kontrollsumma | e357af77b3f670ba58cf9e334c787db7ec6f2f48 |
| SHA256-kontrollsumma | 782d00b783484f7ed5ba515ea0830b7aefb66f00f40bff1d4f2bf2169d640952 |