diff options
author | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
---|---|---|
committer | root <root@rshg054.dnsready.net> | 2013-10-31 01:12:24 -0700 |
commit | b2a6f1b28b7fa31088cab9a90b0f5ab97948534d (patch) | |
tree | afa7b467e44b704b69c66862852a8c3118b8e308 /extra/gmetadom | |
parent | 7c151ac5589d3dbef5972f69a62b847ecf565bfa (diff) |
Thu Oct 31 01:09:50 PDT 2013
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' |