Mirror List

Mirrors for cbmc_6.4.1.orig-java-cprover-api.tar.gz

File information

Filename: cbmc_6.4.1.orig-java-cprover-api.tar.gz
Path: /raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz
Size: 14K (14582 bytes)
Last modified: Fri, 02 Jun 2023 19:14:57 GMT (Unix time: 1685733297)

Download file from preferred mirror

Reliable downloads

Metalink

http://raspbian.raspberrypi.org/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz.meta4 (IETF Metalink)
http://raspbian.raspberrypi.org/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz.metalink (old (v3) Metalink)

Mirrors

List of best mirrors for IP address 163.172.82.118, located at 48.858200,2.338700 in France (FR).

Map showing the closest mirrors

Found 13 mirrors in other countries, but same continent (EU)

http://mirror.pyratelan.org/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (de, prio 1000)
http://mirror.netzwerge.de/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (de, prio 1000)
http://debian.bio.lmu.de/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (de, prio 1000)
http://mirrors.dotsrc.org/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (dk, prio 1000)
http://mirror.dkm.cz/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (cz, prio 10000)
http://ftp.arnes.si/mirrors/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (si, prio 1000)
http://ftp.fi.muni.cz/pub/linux/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (cz, prio 10000)
http://mirror.bahnhof.net/pub/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (se, prio 1000)
http://mirror.truenetwork.ru/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (ru, prio 10000)
http://ftp.acc.umu.se/mirror/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (se, prio 20000)
http://raspbian.mirror.vu.lt/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (lt, prio 500)
http://mirror.datacenter.by/pub/mirrors/archive.raspbian.org/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (by, prio 2000)
http://mirror.as43289.net/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (md, prio 10000)

Found 6 mirrors in other parts of the world

http://raspbian.mirror.net.in/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (in, prio 1000)
http://mirrors.gigenet.com/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (us, prio 2000)
http://raspbian.mirror.axinja.net/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (us, prio 100)
http://mirror.ossplanet.net/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (tw, prio 20000)
http://mirror.web-ster.com/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (us, prio 500)
http://mirror.aarnet.edu.au/pub/raspbian/raspbian/pool/main/c/cbmc/cbmc_6.4.1.orig-java-cprover-api.tar.gz (au, prio 10000)