# the same priority as the main OS repository
Package: *
Pin: origin "midas.civ.zcu.cz"
Pin-Priority: 901