deb http://repo.peppermintos.com/packages peppermint main contrib non-free deb-src http://repo.peppermintos.com/packages peppermint main contrib non-free