Package: * Pin: origin "ports.ubuntu.com" Pin-Priority: 100