diff options
Diffstat (limited to 'extra/gedit/PKGBUILD')
| -rw-r--r-- | extra/gedit/PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/extra/gedit/PKGBUILD b/extra/gedit/PKGBUILD index 9c2795a24..e728e4de0 100644 --- a/extra/gedit/PKGBUILD +++ b/extra/gedit/PKGBUILD @@ -1,9 +1,9 @@ -# $Id: PKGBUILD 196044 2013-10-07 11:51:01Z jgc $ +# $Id: PKGBUILD 197979 2013-10-30 12:03:10Z allan $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> pkgname=gedit -pkgver=3.10.0 +pkgver=3.10.1 pkgrel=1 pkgdesc="A text editor for GNOME" arch=(i686 x86_64 mips64el) @@ -12,11 +12,11 @@ depends=(gtksourceview3 gsettings-desktop-schemas libpeas enchant iso-codes libs makedepends=(yelp-tools intltool zeitgeist) optdepends=('zeitgeist: Zeitgeist plugin') groups=(gnome-extra) -options=('!libtool' '!emptydirs') +options=('!emptydirs') url="http://www.gnome.org" install=gedit.install source=(http://ftp.gnome.org/pub/gnome/sources/$pkgname/${pkgver%.*}/$pkgname-$pkgver.tar.xz) -sha256sums=('4c20049ccee2198468edaf20fba9dbd44e3baf50bd304700b4f24257571cdca5') +sha256sums=('2d2e931661c2c2f9ea76cb581fe0eb09d65925b06a57ee7e20cbecb49474cab7') build() { cd $pkgname-$pkgver |