1 files changed, 6 insertions, 4 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