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