libcoq-reglang_1.1.3-4+b1_ppc64.deb () İ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-ppc64/main/c/coq-reglang/ alt dizininden indirebilirsiniz:
Eğer yukarıdaki sitelerden hiçbiri sizin için yeterince hızlı değilse, lütfen tam yansı listemize bakın.
PowerPC64 resmi olarak Debian arşivine dahil edilmemiş ancak PowerPC64 uyarlama grubu, arşivlerini resmi arşiv ile mümkün olduğunca uyumlu tutmaya gayret ediyor. Güncel bilgi için PowerPC64 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.
libcoq-reglang_1.1.3-4+b1_ppc64.deb hakkında daha fazla bilgi:
| Tam Boyut | 724380 Bayt (707,4 kByte) |
|---|---|
| MD5 sağlama toplamı | a0af2854afed36279d6c037d5a786aa5 |
| SHA1 sağlama toplamı | Kullanılamıyor |
| SHA256 sağlama toplamı | e13c0f349f2b74305f418e109a53d836958e4042f86e35dfa65b75710894b6e4 |