update to 17.05

2 files changed, 10 insertions, 8 deletions

diff --git a/.SRCINFO b/.SRCINFO
index b633da5a18b8..f86af84650f1 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,8 @@
+# Generated by mksrcinfo v8
+# Wed May 31 15:21:07 UTC 2017
 pkgbase = genode-toolchain-bin
 	pkgdesc = GCC-based toolchain for the genode framework
-	pkgver = 16.05
+	pkgver = 17.05
 	pkgrel = 1
 	url = http://genode.org
 	arch = i686
@@ -8,11 +10,11 @@ pkgbase = genode-toolchain-bin
 	license = GPL2
 	makedepends = tar
 	provides = genode-toolchain
-	noextract = genode-toolchain-16.05-x86_64.tar.bz2
+	noextract = genode-toolchain-17.05-x86_64.tar.xz
 	options = !strip
 	options = staticlibs
-	source = http://downloads.sourceforge.net/project/genode/genode-toolchain/16.05/genode-toolchain-16.05-x86_64.tar.bz2
-	md5sums = f02280f676cd0ac602e2413f4ae31d46
+	source = http://downloads.sourceforge.net/project/genode/genode-toolchain/17.05/genode-toolchain-17.05-x86_64.tar.xz
+	md5sums = 6a9fe849a507d3db0caa68d2ce350d8b
 
 pkgname = genode-toolchain-bin
 
diff --git a/PKGBUILD b/PKGBUILD
index dabe67a6c0f8..eb8615d92d43 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer:  Johannes Schlatow <johannes.schlatow@googlemail.com>
 
 pkgname=genode-toolchain-bin
-pkgver=16.05
+pkgver=17.05
 pkgrel=1
 pkgdesc="GCC-based toolchain for the genode framework"
 arch=('i686' 'x86_64')
@@ -14,10 +14,10 @@ options=('!strip' 'staticlibs')
 _arch="x86_64"
 [ "$CARCH" == 'i686' ] && _arch="x86_32"
 
-_filename="genode-toolchain-${pkgver}-${_arch}.tar.bz2"
+_filename="genode-toolchain-${pkgver}-${_arch}.tar.xz"
 source=("http://downloads.sourceforge.net/project/genode/genode-toolchain/${pkgver}/${_filename}")
-md5sums=('f02280f676cd0ac602e2413f4ae31d46')
-[ "$CARCH" == 'i686' ] && md5sums=('7846c41758f4fb8dff639e784652ee71')
+md5sums=('6a9fe849a507d3db0caa68d2ce350d8b')
+[ "$CARCH" == 'i686' ] && md5sums=('bf6a20eb248c8a5a37ba4be733eaa6ae')
 noextract=(${_filename})
 
 package() {