diff options
Diffstat (limited to 'extra/monodevelop-debugger-gdb/PKGBUILD')
| -rw-r--r-- | extra/monodevelop-debugger-gdb/PKGBUILD | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/extra/monodevelop-debugger-gdb/PKGBUILD b/extra/monodevelop-debugger-gdb/PKGBUILD index d58895531..32fb6249a 100644 --- a/extra/monodevelop-debugger-gdb/PKGBUILD +++ b/extra/monodevelop-debugger-gdb/PKGBUILD @@ -1,8 +1,8 @@ -# $Id: PKGBUILD 194339 2013-09-13 21:42:34Z daniel $ +# $Id: PKGBUILD 197648 2013-10-27 17:35:08Z daniel $ # Maintainer: Daniel Isenmann <daniel@archlinux.org> pkgname=monodevelop-debugger-gdb -pkgver=4.0.12 +pkgver=4.0.13 pkgrel=1 pkgdesc="Mono Debugger support" arch=('i686' 'x86_64') # also "any" pkg? @@ -11,8 +11,8 @@ license=('GPL') depends=('monodevelop>=4.0.12' 'gdb') makedepends=('mono') options=('!makeflags') -source=(http://origin-download.mono-project.com/sources/$pkgname/$pkgname-$pkgver-3.tar.bz2) -md5sums=('b9c9d12cc73352a208bcdb5ad5949418') +source=(http://origin-download.mono-project.com/sources/$pkgname/$pkgname-$pkgver-38.tar.bz2) +md5sums=('d47c712b47cfcbcdc1224825395cdcee') build() { export MONO_SHARED_DIR="${srcdir}/.wabi" |