Package: cinnamon Version: 3.4.6-1 Severity: normal Hi. gnome-themes-standard (wich several cinnamon packages depend/recommend) is no longer in Debian: https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=891383 Cheers, Chris.