PRETTY_NAME="Debian GNU/kFreeBSD stretch/sid"
NAME="Debian GNU/kFreeBSD"
ID=debian
HOME_URL="https://www.debian.org/"
SUPPORT_URL="https://www.debian.org/support"
BUG_REPORT_URL="https://bugs.debian.org/"
