Debian, Ubuntu, and Raspbian Mirror at ETH Zurich

Reachable as debian.ethz.ch HTTP HTTPS FTP
ubuntu.ethz.ch HTTP HTTPS FTP
raspbian.ethz.ch HTTP HTTPS FTP
ftp.ch.debian.org HTTP HTTPS FTP

HTTPS Access

While we would like to provide HTTPS access for all hostnames pointing to this mirror, Debian prefers having primary mirrors to not have HTTPS for their ftp.*.debian.org hostname.

If you prefer to access this Debian mirror via HTTPS, please replace https://ftp.ch.debian.org/ by https://debian.ethz.ch/ in your sources.list file.

[ICO]NameLast modifiedSizeDescription
[PARENTDIR]Parent Directory  -  
[ ]coq-theories_8.11.0-1_amd64.deb2020-03-06 09:38 32M 
[ ]coq-theories_8.4pl3dfsg-1_all.deb2014-01-20 00:58 30M 
[ ]coq-theories_8.4pl4dfsg-3build2_all.deb2015-11-04 15:04 31M 
[ ]coq-theories_8.6-5build1_amd64.deb2017-10-28 17:34 32M 
[ ]coq-theories_8.6-5build1_i386.deb2017-10-28 17:34 31M 
[ ]coq_8.11.0-1.debian.tar.xz2020-03-06 08:53 31KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.11.0-1.dsc2020-03-06 08:53 2.4K 
[ ]coq_8.11.0-1_amd64.deb2020-03-06 09:38 73M 
[ ]coq_8.11.0.orig.tar.gz2020-03-06 08:53 5.6M 
[ ]coq_8.15.0+dfsg-2.debian.tar.xz2022-02-05 18:49 39KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.15.0+dfsg-2.dsc2022-02-05 18:49 2.5K 
[ ]coq_8.15.0+dfsg-2_amd64.deb2022-02-06 00:52 91M 
[ ]coq_8.15.0+dfsg.orig.tar.xz2022-01-18 00:14 4.5M 
[ ]coq_8.16.1+dfsg-1build2.debian.tar.xz2023-02-16 11:06 33KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.16.1+dfsg-1build2.dsc2023-02-16 11:06 2.6K 
[ ]coq_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 104M 
[ ]coq_8.16.1+dfsg.orig.tar.xz2022-11-29 18:24 4.5M 
[ ]coq_8.17.0+dfsg-1build1.debian.tar.xz2023-07-24 19:37 32KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.17.0+dfsg-1build1.dsc2023-07-24 19:37 2.6K 
[ ]coq_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 89M 
[ ]coq_8.17.0+dfsg.orig.tar.xz2023-06-12 20:01 4.6M 
[ ]coq_8.18.0+dfsg-1build2.debian.tar.xz2024-03-31 20:36 33KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.18.0+dfsg-1build2.dsc2024-03-31 20:36 2.6K 
[ ]coq_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 91M 
[ ]coq_8.18.0+dfsg.orig.tar.xz2023-12-22 20:46 4.6M 
[ ]coq_8.19.1+dfsg-3build3.debian.tar.xz2024-09-07 09:08 32KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.19.1+dfsg-3build3.dsc2024-09-07 09:08 2.5K 
[ ]coq_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 96M 
[ ]coq_8.19.1+dfsg.orig.tar.bz22024-05-02 13:53 5.3M 
[ ]coq_8.4pl3dfsg-1.debian.tar.xz2014-01-20 00:18 15KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.4pl3dfsg-1.dsc2014-01-20 00:18 2.3K 
[ ]coq_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 3.9M 
[ ]coq_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 3.6M 
[ ]coq_8.4pl3dfsg.orig.tar.gz2014-01-20 00:18 3.4M 
[ ]coq_8.4pl4dfsg-3build2.debian.tar.xz2015-11-04 14:14 16KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.4pl4dfsg-3build2.dsc2015-11-04 14:14 2.3K 
[ ]coq_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 3.8M 
[ ]coq_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 3.6M 
[ ]coq_8.4pl4dfsg.orig.tar.gz2014-07-28 01:13 3.4M 
[ ]coq_8.6-5build1.debian.tar.xz2017-10-28 16:39 21KDebian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)
[TXT]coq_8.6-5build1.dsc2017-10-28 16:39 2.3K 
[ ]coq_8.6-5build1_amd64.deb2017-10-28 17:34 17M 
[ ]coq_8.6-5build1_i386.deb2017-10-28 17:34 16M 
[ ]coq_8.6.orig.tar.gz2016-12-28 18:13 4.8M 
[ ]coqide_8.11.0-1_amd64.deb2020-03-06 09:38 1.7M 
[ ]coqide_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 2.3M 
[ ]coqide_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 2.2M 
[ ]coqide_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 2.2M 
[ ]coqide_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 2.2M 
[ ]coqide_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 2.3M 
[ ]coqide_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 727K 
[ ]coqide_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 662K 
[ ]coqide_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 731K 
[ ]coqide_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 695K 
[ ]coqide_8.6-5build1_amd64.deb2017-10-28 17:34 1.5M 
[ ]coqide_8.6-5build1_i386.deb2017-10-28 17:34 1.3M 
[ ]libcoq-core-ocaml-dev_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 43M 
[ ]libcoq-core-ocaml-dev_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 47M 
[ ]libcoq-core-ocaml-dev_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 48M 
[ ]libcoq-core-ocaml-dev_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 49M 
[ ]libcoq-core-ocaml-dev_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 65M 
[ ]libcoq-core-ocaml_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 26M 
[ ]libcoq-core-ocaml_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 26M 
[ ]libcoq-core-ocaml_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 26M 
[ ]libcoq-core-ocaml_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 26M 
[ ]libcoq-core-ocaml_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 25M 
[ ]libcoq-ocaml-dev_8.11.0-1_amd64.deb2020-03-06 09:38 15M 
[ ]libcoq-ocaml-dev_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 3.5M 
[ ]libcoq-ocaml-dev_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 3.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 3.5M 
[ ]libcoq-ocaml-dev_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 3.6M 
[ ]libcoq-ocaml-dev_8.6-5build1_amd64.deb2017-10-28 17:34 13M 
[ ]libcoq-ocaml-dev_8.6-5build1_i386.deb2017-10-28 17:34 13M 
[ ]libcoq-ocaml_8.11.0-1_amd64.deb2020-03-06 09:38 6.0M 
[ ]libcoq-ocaml_8.4pl3dfsg-1_amd64.deb2014-01-20 00:58 1.5M 
[ ]libcoq-ocaml_8.4pl3dfsg-1_i386.deb2014-01-20 00:58 1.4M 
[ ]libcoq-ocaml_8.4pl4dfsg-3build2_amd64.deb2015-11-04 15:04 1.4M 
[ ]libcoq-ocaml_8.4pl4dfsg-3build2_i386.deb2015-11-04 14:39 1.3M 
[ ]libcoq-ocaml_8.6-5build1_amd64.deb2017-10-28 17:34 3.4M 
[ ]libcoq-ocaml_8.6-5build1_i386.deb2017-10-28 17:34 3.2M 
[ ]libcoq-stdlib_8.15.0+dfsg-2_amd64.deb2022-02-06 00:51 24M 
[ ]libcoq-stdlib_8.16.1+dfsg-1build2_amd64.deb2023-02-16 11:58 23M 
[ ]libcoq-stdlib_8.17.0+dfsg-1build1_amd64.deb2023-07-24 19:37 27M 
[ ]libcoq-stdlib_8.18.0+dfsg-1build2_amd64.deb2024-03-31 21:32 25M 
[ ]libcoq-stdlib_8.19.1+dfsg-3build3_amd64.deb2024-09-07 09:09 26M 

Sample /etc/apt/sources.list with HTTPS:

deb https://debian.ethz.ch/debian stable main contrib non-free
deb-src https://debian.ethz.ch/debian stable main contrib non-free

Sample /etc/apt/sources.list without HTTPS:

deb http://debian.ethz.ch/debian stable main contrib non-free
deb-src http://debian.ethz.ch/debian stable main contrib non-free

Inoffical Security Mirror

Reachable as security.debian.ethz.ch HTTP HTTPS FTP

Our security mirror is no official security mirror and only thought as local cache. See the Debian Security FAQ for reasoning.

Its updates are not triggered by a push, hence the mirror may be out of date. If you want to use it, we suggest to use it like this (you can also use HTTP instead of HTTPS if you want):

Debian 12 "Bookworm" or newer

deb https://security.debian.ethz.ch/debian-security bookworm-security main contrib non-free non-free-firmware
deb http://security.debian.org/ stable-security main contrib non-free non-free-firmware

Debian 11 "Bullseye" or newer

deb https://security.debian.ethz.ch/ stable-security main contrib non-free
deb http://security.debian.org/ stable-security main contrib non-free

Debian 10 "Buster" or older

deb https://security.debian.ethz.ch/ buster/updates main contrib non-free
deb http://security.debian.org/ buster/updates main contrib non-free

So if this security mirror already has the updated package mirrored, it's fetched from there as it's the first hit for the newest version. If not, the newest package is still already available and fetched from the official servers.

Use at your own risk!

Access by Alternative Protocols

Alternative access by FTP is possible.

Alternative access by HTTPS is possible for all *.ethz.ch hostnames.

The main Debian archives are accessible by rsync:

  • rsync debian.ethz.ch::debian
  • rsync debian.ethz.ch::debian-cd
  • rsync debian.ethz.ch::debian-archive

Additionally, also the following archives are available by rsync:

  • rsync debian.ethz.ch::raspbian
  • rsync debian.ethz.ch::ubuntu

About and Contact

This server is one of the official Debian mirrors (status of the Debian mirror network) and also known as ftp.ch.debian.org.

In case of problems with this specific mirror, please contact the IT Services Group (ISG) of the Dept. of Physics at ETH Zurich, preferably by e-mail to mirror@phys.ethz.ch.