Eu adicionei um novo repositório ao /etc/apt/sources.list:
deb http://mirrors.nic.cz/R/bin/linux/debian wheezy-cran3/
Mas quando eu instalo novos pacotes (r-base), eles não são tirados de lá! E quando eu olho se este repositório está sendo levado em conta (usando um truque ), ele não parece ser:
root@apkserver2:~# apt-cache policy
Package files:
100 /var/lib/dpkg/status
release a=now
500 http://hwraid.le-vert.net/debian/ wheezy/main i386 Packages
release o=hwraid.le-vert.net,a=wheezy,l=hwraid.le-vert.net,c=main
origin hwraid.le-vert.net
500 http://ftp.cz.debian.org/debian/ wheezy-updates/main Translation-en
500 http://ftp.cz.debian.org/debian/ wheezy-updates/main i386 Packages
release o=Debian,a=stable-updates,n=wheezy-updates,l=Debian,c=main
origin ftp.cz.debian.org
500 http://security.debian.org/ wheezy/updates/main Translation-en
500 http://security.debian.org/ wheezy/updates/main i386 Packages
release v=7.0,o=Debian,a=stable,n=wheezy,l=Debian-Security,c=main
origin security.debian.org
500 http://ftp.cz.debian.org/debian/ wheezy/main Translation-en
500 http://ftp.cz.debian.org/debian/ wheezy/main i386 Packages
release v=7.8,o=Debian,a=stable,n=wheezy,l=Debian,c=main
origin ftp.cz.debian.org
Pinned packages:
Como resolver esse problema? Alguma coisa precisa ser executada ou reiniciada depois que eu mudo a sources.list?