Lines Matching refs:Debian
666 # toolchain install on Debian/Ubuntu.716 echo "TIP: On Debian or Ubuntu, try: sudo apt-get install $DEBIAN_NAME"
