Software Mirroring Service

This software mirror is provided by the Department of Computer Science and Engineering of Tecnico Lisboa on a Gigabit uplink, accessible through both IPv4 and IPv6. We are happy to mirror additional software archives upon request, subject to space constraints on our mirror server. If there's a software archive for which a local mirror would be useful to you and it isn't listed here, please let us know.

Mirror List

Name Size
Arch Linux FTP HTTP RSYNC 145.26G usage
Cygwin FTP HTTP RSYNC 134.74G
Debian FTP HTTP RSYNC 2.19T usage
Debian CD images FTP HTTP RSYNC
Debian Security FTP HTTP RSYNC 158.07G
Gentoo Portage FTP HTTP RSYNC 248.67M usage
Gentoo Distfiles FTP HTTP RSYNC 1.56T usage
Linux Mint ISOs FTP HTTP RSYNC 168.02G
Linux Mint Packages FTP HTTP RSYNC 44.67G
MX Linux ISOs FTP HTTP RSYNC 43.12G
MX Linux Packages FTP HTTP RSYNC 221.67G
OpenBSD FTP HTTP RSYNC 1.81T
openSUSE FTP HTTP RSYNC 9.42T
Qubes OS FTP HTTP RSYNC 1.66T
Slackware FTP HTTP RSYNC 167.11G
Ubuntu Releases FTP HTTP RSYNC 100.27G
Ubuntu Archive FTP HTTP RSYNC 5.549.270.280.620
VideoLAN FTP HTTP RSYNC 121.94G
Zorin OS ISOs FTP HTTP RSYNC 283.04G

Using a Mirror

Arch Linux

Edit the file /etc/pacman.conf and add the following line in the specified sections, according to your preference:

[core]
Server = ftp://ftp.rnl.tecnico.ulisboa.pt/pub/archlinux/core/os/x86_64

[extra]
Server = ftp://ftp.rnl.tecnico.ulisboa.pt/pub/archlinux/extra/os/x86_64

[community]
Server = ftp://ftp.rnl.tecnico.ulisboa.pt/pub/archlinux/community/os/x86_64

Refresh the package list from the new repository:

pacman -Syy

Debian GNU/Linux

Edit the list of sources:

nano /etc/apt/sources.list

Here is a recommended /etc/apt/sources.list for Debian (stable release), using our mirror: 

deb http://ftp.rnl.tecnico.ulisboa.pt/pub/debian lenny main non-free contrib
deb-src http://ftp.rnl.tecnico.ulisboa.pt/pub/debian lenny main non-free contrib

Refresh the packages list from the new repository:

apt-get update

Gentoo Linux

Edit the GENTOO_MIRRORS variable in /etc/portage/make.conf:

GENTOO_MIRRORS="https://ftp.rnl.tecnico.ulisboa.pt/pub/gentoo/gentoo-distfiles"

Then, replace sync-uri in repos.conf or create the /etc/portage/repos.conf/gentoo.conf file if it does not exist: 

[DEFAULT]
main-repo = gentoo

[gentoo]
location = /var/db/repos/gentoo
sync-type = rsync
sync-uri = rsync://ftp.rnl.tecnico.ulisboa.pt/pub/gentoo/gentoo-portage