Download-Seite für why3-examples_1.8.0-2_all.deb

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/w/why3/-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 why3-examples_1.8.0-2_all.deb:

Genaue Größe 4272972 Byte (4,1 MB)
MD5-Prüfsumme 25d452bc921b2c290153807f57a8fe88
SHA1-Prüfsumme d98ad26b67bf23b68192fa933947810de22b3fed
SHA256-Prüfsumme 494cd737ef4cb27b3ddfef05a234712b939a0f48d8ad4c9da5d6adac8551bb5a