packageslibcoq-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb (AMD64) İndirme Sayfası
Eğer Ubuntu 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://cz.archive.ubuntu.com/ubuntu questing main universe
cz.archive.ubuntu.com/ubuntu yerine kullanmak istediğiniz yansının adresini yazın.
İstenilen dosyayı aşağıdaki sitelerin herhangi birindeki pool/universe/c/coq-serapi/ alt dizininden indirebilirsiniz:
Kuzey Amerika
- mirrors.kernel.org/ubuntu
- ftp.osuosl.org/pub/ubuntu
- lug.mtu.edu/ubuntu
- ubuntu.mirrors.tds.net/ubuntu
- ubuntu.secs.oakland.edu
- mirror.mcs.anl.gov/pub/ubuntu
- mirrors.cat.pdx.edu/ubuntu
- ubuntu.cs.utah.edu/ubuntu
- ftp.ussg.iu.edu/linux/ubuntu
- mirrors.xmission.com/ubuntu
- mirrors.cs.wmich.edu/ubuntu
- gulus.USherbrooke.ca/pub/distro/ubuntu
Asya
- kr.archive.ubuntu.com/ubuntu
- th.archive.ubuntu.com/ubuntu
- mirror.lupaworld.com/ubuntu
- kambing.vlsm.org/ubuntu
- ubuntu.mithril-linux.org/archives
- mirror.in.th/ubuntu
- mirror.rootguide.org/ubuntu
Afrika
Avrupa
- cz.archive.ubuntu.com/ubuntu
- de.archive.ubuntu.com/ubuntu
- dk.archive.ubuntu.com/ubuntu
- es.archive.ubuntu.com/ubuntu
- fr.archive.ubuntu.com/ubuntu
- ge.archive.ubuntu.com/ubuntu
- gr.archive.ubuntu.com/ubuntu
- hr.archive.ubuntu.com/ubuntu
- mt.archive.ubuntu.com/ubuntu
- nl.archive.ubuntu.com/ubuntu
- no.archive.ubuntu.com/ubuntu
- se.archive.ubuntu.com/ubuntu
- yu.archive.ubuntu.com/ubuntu
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-serapi-ocaml-dev_8.20.0+0.20.0-1build4_amd64.deb hakkında daha fazla bilgi:
| Tam Boyut | 17554240 Bayt (16,7 MByte) |
|---|---|
| MD5 sağlama toplamı | f6cf08d9d11b0ba84a191ae56b2592e2 |
| SHA1 sağlama toplamı | 68c2d821cf73b8815d60638a5ed554e3293bb810 |
| SHA256 sağlama toplamı | b7905daed059f60322fef8a6a441e2570ec164e12c1e9acc7373215b7540cc3b |