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 41 GB usage
Cygwin FTP HTTP RSYNC 121 GB -
Debian FTP HTTP RSYNC 844 GB usage
Debian Backports FTP HTTP RSYNC 6.0 MB -
Debian CD images FTP HTTP RSYNC 24 GB -
Debian Security FTP HTTP RSYNC 97 GB -
Gentoo Portage FTP HTTP RSYNC 211 MB usage
Gentoo Distfiles FTP HTTP RSYNC 375 GB usage
Linux Mint ISOs FTP HTTP RSYNC 270 GB -
Linux Mint Packages FTP HTTP RSYNC 28 GB -
OpenBSD FTP HTTP RSYNC 661 GB -
openSUSE FTP HTTP RSYNC 3.23 TB -
Sabayon FTP HTTP RSYNC 224 GB usage
Slackware FTP HTTP RSYNC 128 GB -
UBCD FTP HTTP RSYNC 4.49 GB -
Ubuntu Releases FTP HTTP RSYNC 18.33 GB -
Ubuntu Archive FTP HTTP RSYNC 1.09 TB -

Statistics

More Graphs

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 = /usr/portage
sync-type = rsync
sync-uri = rsync://ftp.rnl.tecnico.ulisboa.pt/pub/gentoo/gentoo-portage

Sabayon

Edit the file /etc/entropy/repositories.conf and add the following lines:

# Sabayon stable repository
repository|sabayonlinux.org|Sabayon Linux Official
repository|http://ftp.rnl.tecnico.ulisboa.pt/pub/sabayon/entropy|http://ftp.rnl.tecnico.ulisboa.pt/pub/sabayon/entropy#bz2
# Sabayon unstable repository overlay
repository|sabayon-limbo|Sabayon Linux Limbo
repository|http://ftp.rnl.tecnico.ulisboa.pt/pub/sabayon/entropy|http://ftp.rnl.tecnico.ulisboa.pt/pub/sabayon/entropy#bz2

You may have to comment other entries (by placing a '#' in front of them) to force equo to use RNL's mirror only.