# Generated by makepkg 5.1.1
# Tue Nov 27 04:32:08 UTC 2018
pkgbase = seabios
	pkgdesc = A 16-bit x86 bios
	pkgver = 1.12.0
	pkgrel = 1
	url = http://www.coreboot.org/SeaBIOS
	arch = any
	license = GPL3
	license = LGPL3
	makedepends = iasl
	makedepends = python2
	makedepends = inetutils
	options = !makeflags
	options = !strip
	source = https://www.seabios.org/downloads/seabios-1.12.0.tar.gz
	source = config.coreboot
	source = config.seabios-128k
	source = config.seabios-256k
	source = config.vga.isavga
	source = config.vga.stdvga
	source = config.csm
	source = config.vga.cirrus
	source = config.vga.qxl
	source = config.vga.vmware
	source = config.vga.bochs-display
	source = config.vga.ramfb
	source = config.vga.virtio
	sha1sums = 3f8ee5c7cb449483e0e5bde50889bc7e54c4b0d1
	sha1sums = 5f2adb09c9006def1719b8cbd4792f14a7c7f7c9
	sha1sums = 7a4ec70237476c7cdd78589b069d0d39dfeaa8eb
	sha1sums = 05b912a291994226049103cbe6754976cc03532d
	sha1sums = d56482f6ee0bf9633c551b10e99e24c74d9ece1e
	sha1sums = 54d4edf6eccf30883aedca348b9d2f125502fcdb
	sha1sums = 590739c1d5dc6cb63bdf311ee1cfbcde6c0ccc0f
	sha1sums = 84a44c04e74a09affae0d1a6e50800d10997108f
	sha1sums = 5a1316a0081f91acc300f57372de18fa9c67415e
	sha1sums = 5b017b16aec445df873618aaebd154aa97107148
	sha1sums = c7c730ade7a63e1efc7de81c7536632e0617e808
	sha1sums = c2f4a7708befd6a0763dd4a5a4f8b5168db30340
	sha1sums = a2b3d09f944e3d6857ceee272b733075a7edc52e

pkgname = seabios

