» Ubuntu » Pakete » questing » libghc-smtlib-dev » amd64 » Download

Download-Seite für libghc-smtlib-dev_1.1-4_amd64.deb für AMD64-Rechner

Falls Sie Ubuntu auf Ihrem Rechner einsetzen, wird nachdrücklich empfohlen, einen Paket-Manager wie Aptitude oder Synaptic zum Herunterladen und Installieren von Paketen zu benutzen und nicht diese 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://cz.archive.ubuntu.com/ubuntu questing main universe

Ersetzen Sie dabei cz.archive.ubuntu.com/ubuntu mit dem gewünschten Spiegel-Server.

Sie können die angeforderte Datei aus dem pool/universe/h/haskell-smtlib/-Unterverzeichnis auf jeder dieser Sites herunterladen:

Falls keine der genannten Seiten schnell genug für Sie ist, beachten Sie bitte auch unsere komplette Spiegelliste.

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 libghc-smtlib-dev_1.1-4_amd64.deb:

Genaue Größe 447320 Byte (436,8 kByte)
MD5-Prüfsumme 3dc8de4ebe87a0ce1b55bc51e533ba11
SHA1-Prüfsumme de271bfca3503d8b5ddad15a9a5fc40fa8ea8451
SHA256-Prüfsumme b8e3341757b7740a1edab32823e6c46cac510acd3bb851a48ce3a7ad640fdad7