Page de téléchargement de acl2-infix-source_3.1-1_all.deb

Si vous utilisez Debian, il est fortement recommandé d'utiliser un gestionnaire de paquets comme aptitude ou synaptic pour télécharger et installer des paquets, au lieu de le faire vous-même à travers ce site web.

Vous devriez pouvoir utiliser n'importe lequel des miroirs listés en ajoutant une ligne à votre /etc/apt/sources.list comme ceci :

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

En remplaçant ftp.de.debian.org/debian par le miroir en question.

Vous pouvez télécharger le fichier demandé depuis le répertoire pool/main/a/acl2/ de n'importe lequel de ces sites :

Si aucun des miroirs ci-dessous n'est assez rapide pour vous, veuillez consulter notre liste complète des miroirs.

Notez que certains navigateurs vous demandent de préciser que vous désirez sauver le fichier. Par exemple, dans Firefox ou Mozilla, vous devez appuyer sur la touche Majuscule au moment où vous cliquez sur le lien.

Plus d'informations sur acl2-infix-source_3.1-1_all.deb :

Taille exacte 85324 octets (83.3 kByte)
Somme MD5 bd9a485c18b2d071341f447122708b79
Somme SHA1 df065bfcf65f26cec276932ddb4890a9650ae11b
Somme SHA256 0975edbd22a36b9b003160bafee001993f67bb4291f45eb9f09c2a296cbb7516