Page de téléchargement de libcoq-stdpp_1.11.0-1+b6_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/coq-stdpp/ 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 libcoq-stdpp_1.11.0-1+b6_amd64.deb :

Taille exacte 4873632 octet (4,7 MByte)
Somme MD5 16bfe4957687c902fcd16b13dbd0ed07
Somme SHA1 8acb390409b33f75253fd8d6920fa6712f87fc1c
Somme SHA256 d17524a80ef17dec14ff5e5a0532b39b68f79e67408153cdc5a743b985c43989