diff options
| author | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-07-12 03:34:01 +0000 |
|---|---|---|
| committer | Nicolás Reynolds <fauno@endefensadelsl.org> | 2014-07-12 03:34:01 +0000 |
| commit | 98f05d09a1cb452ea643ff95bd855234387ee2c0 (patch) | |
| tree | 5de4bb9ab2070f559c938199bfa152264fa84d21 /extra/gnome-color-manager/PKGBUILD | |
| parent | e9edbddfc72fad97cd89e1f65e5718fc83be6bb5 (diff) | |
Sat Jul 12 03:30:38 UTC 2014
Diffstat (limited to 'extra/gnome-color-manager/PKGBUILD')
| -rw-r--r-- | extra/gnome-color-manager/PKGBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/extra/gnome-color-manager/PKGBUILD b/extra/gnome-color-manager/PKGBUILD index b2343ec57..c7795e04e 100644 --- a/extra/gnome-color-manager/PKGBUILD +++ b/extra/gnome-color-manager/PKGBUILD @@ -1,8 +1,8 @@ -# $Id: PKGBUILD 213478 2014-05-23 23:41:13Z heftig $ +# $Id: PKGBUILD 216814 2014-07-11 18:24:37Z heftig $ # Maintainer: Jan Alexander Steffens (heftig) <jan.steffens@gmail.com> pkgname=gnome-color-manager -pkgver=3.12.2 +pkgver=3.12.3 pkgrel=1 pkgdesc="Color profile manager for the GNOME desktop" arch=(i686 x86_64) @@ -15,7 +15,7 @@ install=gnome-color-manager.install options=('!emptydirs') groups=('gnome-extra') source=(http://ftp.gnome.org/pub/GNOME/sources/$pkgname/${pkgver:0:4}/$pkgname-$pkgver.tar.xz) -sha256sums=('7f406233c03499c786dac69d54a3b9312f7fd36a6c75e8b9c899cad1588731d0') +sha256sums=('ce62f9d2d8702547b5083f800a2747cb6c8fd5a04a71e2dc6928166951d1d039') build(){ cd $pkgname-$pkgver |