path: root/desktop/gnome-shell-extensions/gnome-shell-extensions.info

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