diff options
Diffstat (limited to 'extra/gnome-mines/PKGBUILD')
| -rw-r--r-- | extra/gnome-mines/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/gnome-mines/PKGBUILD b/extra/gnome-mines/PKGBUILD index 9c7e3a4d2..cdc9cb1fe 100644 --- a/extra/gnome-mines/PKGBUILD +++ b/extra/gnome-mines/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 196385 2013-10-12 16:47:50Z heftig $ +# $Id: PKGBUILD 198018 2013-10-30 12:18:05Z allan $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> @@ -12,7 +12,7 @@ depends=('desktop-file-utils' 'hicolor-icon-theme' 'gtk3' 'librsvg') makedepends=('intltool' 'itstool' 'gobject-introspection') conflicts=('gnome-games') replaces=('gnome-games') -options=('!emptydirs' '!libtool') +options=('!emptydirs') install=gnome-mines.install url="https://live.gnome.org/Mines" groups=('gnome-extra') |