libcoq-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb () İndirme Sayfası
Eğer Trisquel 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://es.archive.trisquel.info/trisquel aramo main
es.archive.trisquel.info/trisquel yerine kullanmak istediğiniz yansının adresini yazın.
İstenilen dosyayı aşağıdaki sitelerin herhangi birindeki pool/main/c/coq/ alt dizininden indirebilirsiniz:
Kuzey Amerika
Güney Amerika
Asya
Avrupa
- es.archive.trisquel.info/trisquel
- fr.archive.trisquel.info/trisquel
- quantum-mirror.hu/mirrors/pub/trisquel/packages
- ftp.caliu.cat/pub/distribucions/trisquel/packages
- mirror.librelabucm.org/trisquel
- ftp.acc.umu.se/mirror/trisquel/packages
- mirror.linux.pizza/trisquel/packages
- ftpmirror1.infania.net/mirror/trisquel/packages
Eğer yukarıdaki sitelerden hiçbiri sizin için yeterince hızlı değilse, lütfen tam yansı listemize 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-core-ocaml-dev_8.15.0+dfsg-2_ppc64el.deb hakkında daha fazla bilgi:
| Tam Boyut | 45702454 Bayt (43,6 MByte) |
|---|---|
| MD5 sağlama toplamı | ffdc9e3ec179010fd2e0ec0c4081633a |
| SHA1 sağlama toplamı | 5d17240a127baf542fa4a47a6c47d49b4dc9d418 |
| SHA256 sağlama toplamı | 5aabf3e324ec19769200f5de09df9eca1b6d45c12c191126d7fe9495b5a7d6dd |