Changed $codename to petra on the extra repo (to troubleshoot if $codename ends up as saucy)