Added support for Debian 9 “Stretch”

Even though the release date of Debian 9 “Stretch” is yet unknown, it went into full freeze at 2017-02-05 and consequently we have updated our DEB repository with builds of all our software products for Debian 9.

For fresh installs all you have to do is to add our repository and our signing key:

sudo wget "" -O /etc/apt/sources.list.d/millistream.list
wget -q "" -O- | sudo apt-key add -
sudo apt update

Or if you are upgrading from a previous version of Debian you can simply open /etc/apt/sources.list.d/millistream.list in a text editor of your choice and change the distribution name to “stretch” so that it matches this content:

deb stretch main
deb-src stretch main

After which you can fetch the new binaries with:

sudo apt update
sudo apt upgrade