# at least the same priority as the main OS repository
Package: *
Pin: origin "scientific.zcu.cz"
Pin-Priority: 900