PRGNAM="gnome-shell-extensions"
VERSION="40.7"
HOMEPAGE="https://extensions.gnome.org/"
DOWNLOAD="https://download.gnome.org/sources/gnome-shell-extensions/40/gnome-shell-extensions-40.7.tar.xz"
MD5SUM="9f8ad8e7f08d99470af3c88ce7f29225"
DOWNLOAD_x86_64=""
MD5SUM_x86_64=""
REQUIRES="gnome-menus"
MAINTAINER="Bob Funk"
EMAIL="bobfunk11@gmail.com"