NAME="Peppermint"
ID=peppermint
PRETTY_NAME="PeppermintOS"
HOME_URL="https://peppermintos.com"
SUPPORT_URL="https://sourceforge.net/p/peppermintos/pepos/"
BUG_REPORT_URL="https://sourceforge.net/p/peppermintos/pepos/"
DESTRIB_ID="peppermint"