diff options
Diffstat (limited to 'desktop/gnome-shell-extensions/gnome-shell-extensions.info')
-rw-r--r-- | desktop/gnome-shell-extensions/gnome-shell-extensions.info | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/desktop/gnome-shell-extensions/gnome-shell-extensions.info b/desktop/gnome-shell-extensions/gnome-shell-extensions.info new file mode 100644 index 0000000000..a76fd9138f --- /dev/null +++ b/desktop/gnome-shell-extensions/gnome-shell-extensions.info @@ -0,0 +1,10 @@ +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" |