# Generated by makepkg 5.2.2
# Wed Feb 10 02:58:53 UTC 2021
pkgbase = seabios
	pkgdesc = A 16-bit x86 bios
	pkgver = 1.14.0
	pkgrel = 1
	url = https://www.coreboot.org/SeaBIOS
	arch = any
	license = GPL3
	license = LGPL3
	makedepends = iasl
	makedepends = python
	makedepends = inetutils
	options = !makeflags
	options = !strip
	source = seabios-1.14.0.zip::https://github.com/coreboot/seabios/archive/rel-1.14.0.zip
	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
	source = reproducible-version.patch
	sha1sums = 610800ddb6e8abe62e4802e47cbc0e6cf9f80b20
	sha1sums = 5f2adb09c9006def1719b8cbd4792f14a7c7f7c9
	sha1sums = 7a4ec70237476c7cdd78589b069d0d39dfeaa8eb
	sha1sums = 05b912a291994226049103cbe6754976cc03532d
	sha1sums = d56482f6ee0bf9633c551b10e99e24c74d9ece1e
	sha1sums = 54d4edf6eccf30883aedca348b9d2f125502fcdb
	sha1sums = 590739c1d5dc6cb63bdf311ee1cfbcde6c0ccc0f
	sha1sums = 84a44c04e74a09affae0d1a6e50800d10997108f
	sha1sums = 5a1316a0081f91acc300f57372de18fa9c67415e
	sha1sums = 5b017b16aec445df873618aaebd154aa97107148
	sha1sums = c7c730ade7a63e1efc7de81c7536632e0617e808
	sha1sums = c2f4a7708befd6a0763dd4a5a4f8b5168db30340
	sha1sums = a2b3d09f944e3d6857ceee272b733075a7edc52e
	sha1sums = 352aa180d17642d1230391e5a1a26389a9629c47

pkgname = seabios

