Add shell versions reported by Debian

Make my number one gnome-shell extension install on current Debian based distributions.