Download-Seite für acl2-books_3.1-1_amd64.deb für AMD64-Rechner

Falls Sie Debian auf Ihrem Rechner einsetzen, wird nachdrücklich empfohlen, einen Paket-Manager wie Aptitude oder Synaptic zum Herunterladen und Installieren von Paketen zu benutzen und nicht diese Website.

Sie können jeden der aufgeführten Spiegel-Server benutzen, indem Sie eine Zeile der folgenden Art zu Ihrer /etc/apt/sources.list hinzufügen:

deb http://ftp.de.debian.org/debian etch main 

Ersetzen Sie dabei ftp.de.debian.org/debian mit dem gewünschten Spiegel-Server.

Sie können die angeforderte Datei aus dem pool/main/a/acl2/-Unterverzeichnis auf jeder dieser Sites herunterladen:

Falls keine der genannten Seiten schnell genug für Sie ist, beachten Sie bitte auch unsere komplette Spiegelliste.

Beachten Sie, dass Sie bei einigen Browsern angeben müssen, dass die Datei als Datei gespeichert werden soll. Bei Firefox oder Mozilla sollten Sie die Umschalttaste halten, wenn Sie auf eine URL klicken.

Weitere Informationen über acl2-books_3.1-1_amd64.deb:

Genaue Größe 2267156 Byte (2,2 MByte)
MD5-Prüfsumme 5c938a043b7b8dda65b01c7ba501ae77
SHA1-Prüfsumme 9677cefbd8573d3023d16fef249a0487405b35ae
SHA256-Prüfsumme a62b6b74133a203addb379f48b4b7c37c7661d15dfc1358aa66f24055a629b21