Download-Seite für libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb für AMD64-Rechner

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.

Sie können jeden der aufgeführten Spiegel-Server benutzen, indem Sie eine Zeile der folgenden Art zu Ihrer /etc/apt/sources.list hinzufügen:

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

Ersetzen Sie dabei mirror.elxr.dev/elxr mit dem gewünschten Spiegel-Server.

Sie können die angeforderte Datei aus dem pool/main-debian-community/s/ssreflect/-Unterverzeichnis auf jeder dieser Sites herunterladen:

Beachten Sie, dass Sie bei einigen Browsern angeben müssen, dass die Datei als Datei gespeichert werden soll. Bei Firefox oder Mozilla sollten Sie die Umschalttaste halten, wenn Sie auf eine URL klicken.

Weitere Informationen über libcoq-mathcomp-solvable_2.3.0-1+b7_amd64.deb:

Genaue Größe 4865908 Byte (4,6 MB)
MD5-Prüfsumme f3c9cd473429c42616fa7b5754bb6baf
SHA1-Prüfsumme 7d05d955d1ec4b26f84a33ba257c5515249e52d2
SHA256-Prüfsumme ec712947b9ca2785352ca05e6392a469499f76384db903ed8669cb102bf47439