Debian -- Details of package gnome-shell-extensions in wheezy

Extensions to extend functionality of GNOME Shell The GNOME Shell redefines user interactions with the G ...

packages.debian.org