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. Accordingly, we will have to remove that hostname from the HTTPS SSL certificate in the near future.
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.
|coq-elpi_1.16.0-1.debian.tar.xz||2022-11-20 16:35||3.3K||Debian APT repository (oldstable, stable, testing, unstable, experimental, lts, backports)|
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
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 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
The mirroring of PCLinuxOS and Debian Ports has been discontinued.
About and Contact
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 email@example.com. If you prefer IRC, you can use our ISG Web Chat or contact XTaran, tarzeau or rda on IRCNet, Freenode or OFTC or join #isgphys on irc.phys.ethz.ch (Readme).