gnome-shell-extensions: update to 3.10.1.
This commit is contained in:
parent
e7947bb180
commit
63f1b25a14
1 changed files with 2 additions and 2 deletions
|
@ -1,6 +1,6 @@
|
||||||
# Template file for 'gnome-shell-extensions'
|
# Template file for 'gnome-shell-extensions'
|
||||||
pkgname=gnome-shell-extensions
|
pkgname=gnome-shell-extensions
|
||||||
version=3.10.0
|
version=3.10.1
|
||||||
revision=1
|
revision=1
|
||||||
build_style=gnu-configure
|
build_style=gnu-configure
|
||||||
configure_args="--enable-extensions=all"
|
configure_args="--enable-extensions=all"
|
||||||
|
@ -11,7 +11,7 @@ maintainer="Juan RP <xtraeme@gmail.com>"
|
||||||
homepage="http://live.gnome.org/GnomeShell/Extensions"
|
homepage="http://live.gnome.org/GnomeShell/Extensions"
|
||||||
license="GPL-2"
|
license="GPL-2"
|
||||||
distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
|
distfiles="${GNOME_SITE}/$pkgname/${version%.*}/$pkgname-$version.tar.xz"
|
||||||
checksum=8b56db464530da3cb9450177346874aaa07b14d1d4233d5f620aa3a2fc779595
|
checksum=9baa9ddaf4e14cab6d4d7944d8dc009378b25f995acfd0fd72843f599cb5ae43
|
||||||
|
|
||||||
gnome-shell-extensions_package() {
|
gnome-shell-extensions_package() {
|
||||||
noarch="yes"
|
noarch="yes"
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue