deb http://debian.stanford.edu/debian-stanford/ stretch main contrib non-free