» Ubuntu » Paquets » noble » python3-z3 » arm64 » Télécharger

Page de téléchargement de python3-z3_4.8.12-3.1build1_arm64.deb pour l'architecture 64-bit ARMv8

Si vous utilisez Ubuntu, 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 de la liste en ajoutant une ligne au fichier /etc/apt/sources.list comme ceci :

deb http:// noble main universe

En remplaçant par le miroir en question.

Vous pouvez télécharger le fichier demandé depuis le sous-répertoire pool/universe/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.8.12-3.1build1_arm64.deb :

Taille exacte 79746 octet (77,9 kByte)
Somme MD5 c0a319aa60a8d5da529ec6ce4f8ba029
Somme SHA1 93f04c435d5b3b5a622681435b57d56c8883ba4c
Somme SHA256 2e9fffd8c6b8f6576b0e79a1d3e683c3497d003ab83c6d16b5764a27c633ea1f