Linux Distro Peppermint 11 Out Now, Ditches Ubuntu For Debian A brand new version of the fast, stylish and lightweight Linux distro just got released. But Peppermint OS 11 brings significant changes to the table.