# 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 = 17.05
	pkgrel = 1
	url = http://genode.org
	arch = i686
	arch = x86_64
	license = GPL2
	makedepends = tar
	provides = genode-toolchain
	noextract = genode-toolchain-17.05-x86_64.tar.xz
	options = !strip
	options = staticlibs
	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