Package: *
Pin: origin texasinstruments.github.io
Pin-Priority: 1001
