diff options
Diffstat (limited to 'extra/devhelp/PKGBUILD')
| -rw-r--r-- | extra/devhelp/PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/devhelp/PKGBUILD b/extra/devhelp/PKGBUILD index 9271397f4..5c71eb1e5 100644 --- a/extra/devhelp/PKGBUILD +++ b/extra/devhelp/PKGBUILD @@ -1,10 +1,10 @@ -# $Id: PKGBUILD 210423 2014-04-14 20:05:59Z jgc $ +# $Id: PKGBUILD 211238 2014-04-18 11:24:29Z heftig $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> # Contributor: Jan de Groot <jgc@archlinux.org> # Contributor: Link Dupont <link@subpop.net> pkgname=devhelp -pkgver=3.12.0 +pkgver=3.12.1 pkgrel=1 pkgdesc="API documentation browser for GNOME" arch=(i686 x86_64) @@ -16,7 +16,7 @@ options=('!emptydirs') install=devhelp.install groups=('gnome-extra') source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz) -sha256sums=('1e0824a08e85cb720851ea407eec9525c6fb5adbce4464d74e956ec67ec31dd8') +sha256sums=('ce2c73e25eaec553abcfdb57de4ec399fa051783e0d4fbbb63da0fda1c6c8335') build() { cd $pkgname-$pkgver |