# Generated by makepkg 6.0.1
# using fakeroot version 1.29
pkgname = seabios-docs
pkgbase = seabios
pkgver = 1.16.0-3
pkgdesc = Open-source legacy BIOS implementation - documentation
url = https://www.seabios.org/SeaBIOS
builddate = 1660676548
packager = David Runge <dvzrv@archlinux.org>
size = 71349
arch = any
license = GPL3
license = LGPL3
makedepend = iasl
makedepend = inetutils
makedepend = python
