Package: *
Pin: origin "scientific.zcu.cz"
Pin-Priority: 950

