Package: firmware-brcm80211 libraspberrypi-bin libraspberrypi0 raspberrypi-bootl$
Pin: release n=stretch, origin archive.raspberrypi.org
Pin-Priority: 1000

#Package: *
#Pin: release n=stretch, origin archive.raspberrypi.org
#Pin-Priority: 10

Package: *
Pin: release n=stretch, origin httpredir.debian.org
Pin-Priority: 900