pkgbase = inferno
	pkgdesc = A compact operating system designed for building distributed and networked systems. (Prebuilt)
	pkgver = 20150328
	pkgrel = 2
	url = http://www.vitanuova.com/inferno/
	install = inferno.install
	arch = any
	license = GPL2
	provides = inferno
	conflicts = inferno
	source = http://www.vitanuova.com/dist/4e/inferno-20150328.tgz
	source = make-install-root.sh
	sha256sums = 3f648d01a5264e1e4fd773824581205cdf9efe0a2e505298d07db21e1828ef7f
	sha256sums = SKIP

pkgname = inferno