diff options
Diffstat (limited to 'extra/gmetadom')
| -rw-r--r-- | extra/gmetadom/PKGBUILD | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/extra/gmetadom/PKGBUILD b/extra/gmetadom/PKGBUILD index d23208e45..22cb3d794 100644 --- a/extra/gmetadom/PKGBUILD +++ b/extra/gmetadom/PKGBUILD @@ -1,4 +1,4 @@ -# $Id: PKGBUILD 137758 2011-09-10 15:29:12Z pierre $ +# $Id: PKGBUILD 197998 2013-10-30 12:10:28Z allan $ # Maintainer: Giovanni Scafora <giovanni@archlinux.org> # Contributor: Jan de Groot <jgc@archlinux.org> @@ -11,7 +11,7 @@ url="http://gmetadom.sourceforge.net/" license=('LGPL') depends=('gdome2') makedepends=('pkgconfig' 'ocaml') -options=('!libtool' '!makeflags') +options=('!makeflags') source=("http://downloads.sourceforge.net/sourceforge/${pkgname}/${pkgname}-${pkgver}.tar.gz" 'gmetadom-0.2.6-gcc43.patch') md5sums=('7bfb5d9c6f20ffa5e790b63d1f8cb481' |