Page de téléchargement de python3-z3_4.13.3-1_amd64.deb pour l'architecture AMD64

If you are running eLxr, it is strongly suggested to use a package manager like apt to download and install packages, instead of doing so manually via this website.

Vous devriez pouvoir utiliser n'importe lequel des miroirs de la liste en ajoutant une ligne au fichier /etc/apt/sources.list comme ceci :

deb http://mirror.elxr.dev/elxr bianca main

En remplaçant mirror.elxr.dev/elxr par le miroir en question.

Vous pouvez télécharger le fichier demandé depuis le sous-répertoire pool/main-debian-community/z/z3/ de n'importe lequel de ces sites :

Notez que certains navigateurs vous demandent de préciser que vous désirez enregistrer 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 python3-z3_4.13.3-1_amd64.deb :

Taille exacte 83500 octet (81,5 kByte)
Somme MD5 2e06ebfb6390c99f2302c72d711df2ee
Somme SHA1 b134516309a0345d7db30e8692c1adbd2b543a70
Somme SHA256 346582b4241a5536267d08b11ff44bf87eb503f0a2c99da5ec6a6322ca3bf637