eprover_3.1.0+ds-1_m68k.deb (Motorola 680x0) İndirme Sayfası

Eğer Debian kullanıyorsanız, paketleri indirmek ve kurmak için bu siteyi kullanmak yerine aptitude veya synaptic benzeri bir paket yönetici kullanmanız şiddetle tavsiye edilir.

Listelenmiş yansılardan herhangi birini kullanmak için /etc/apt/sources.list dosyanıza şu şekilde bir satır ekleyebilirsiniz:

deb http://ftp.ports.debian.org/debian-ports/ sid main

ftp.ports.debian.org/debian-ports/ yerine kullanmak istediğiniz yansının adresini yazın.

İstenilen dosyayı aşağıdaki sitelerin herhangi birindeki pool-m68k/main/e/eprover/ alt dizininden indirebilirsiniz:

Asya

Avrupa

Eğer yukarıdaki sitelerden hiçbiri sizin için yeterince hızlı değilse, lütfen tam yansı listemize bakın.

M68K resmi olarak Debian arşivine dahil edilmemiş ancak M68K uyarlama grubu, arşivlerini resmi arşiv ile mümkün olduğunca uyumlu tutmaya gayret ediyor. Güncel bilgi için M68K uyarlama sayfasına bakın.

Bazı tarayıcılarda, tarayıcınıza dosyayı kaydetmek istediğinizi söylemeniz gerekir. Örneğin Firefox veya Mozilla içerisinde adrese tıkladığınızda ÜstKarakter (Shift) tuşunu basılı tutmalısınız.

eprover_3.1.0+ds-1_m68k.deb hakkında daha fazla bilgi:

Tam Boyut 663456 Bayt (647,9 kByte)
MD5 sağlama toplamı 4d5464e759c534f2f09b5d5c3aad96c0
SHA1 sağlama toplamı Kullanılamıyor
SHA256 sağlama toplamı 36584cd45a3d06c722bcf8db1a62fafe6c5acae320571aa60b43b4b6c9705f11