# Generated by mksrcinfo v8
# Mon Jun  3 11:56:58 UTC 2019
pkgbase = genode-toolchain-bin
	pkgdesc = GCC-based toolchain for the genode framework
	pkgver = 19.05
	pkgrel = 1
	url = http://genode.org
	arch = i686
	arch = x86_64
	license = GPL2
	makedepends = tar
	provides = genode-toolchain
	noextract = genode-toolchain-19.05-x86_64.tar.xz
	options = !strip
	options = staticlibs
	source = http://downloads.sourceforge.net/project/genode/genode-toolchain/19.05/genode-toolchain-19.05-x86_64.tar.xz
	md5sums = 90f83ee84930377aa554e9db488a290d

pkgname = genode-toolchain-bin