Page de téléchargement de libcvc5-dev_1.1.2-2+b3_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/c/cvc5/ 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 libcvc5-dev_1.1.2-2+b3_amd64.deb :

Taille exacte 93296 octet (91,1 kByte)
Somme MD5 cf8e3c80fc148731c6f02b60b1a3a9be
Somme SHA1 17fc2d1a290af2d1b28dd801f2f3e7f90ce9b894
Somme SHA256 4b8309bfd719d6d32db324715d688a7b5cd4dcfadc49c9470a374174c3ce0458