diff options
| author | root <root@rshg054.dnsready.net> | 2013-10-28 01:15:28 -0700 |
|---|---|---|
| committer | root <root@rshg054.dnsready.net> | 2013-10-28 01:15:28 -0700 |
| commit | 1a32448c2c53b0e66ce0fe14c5dd2057afd432bc (patch) | |
| tree | d94819e60d05fada511b43feec6f7e46386a215a /extra/monodevelop-debugger-gdb/PKGBUILD | |
| parent | 2886140ddb1db32f36cb0b27e93888442a603a53 (diff) | |
Mon Oct 28 01:14:27 PDT 2013
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" |