Já alguém reparou que além do mirror do deinix para as iso’s do ubuntu, o DEI é um mirror oficial do ubuntu (iso’s + repositorio de pacotes)?
Podem ver a noticia em https://helpdesk.dei.uc.pt, e verificar em http://www.ubuntu.com/download.
O link para o repositorio de pacotes: http://ftp.dei.uc.pt/pub/linux/ubuntu
Tenho eu andado distraído? Ou …