Date: Monday, November 26, 2018 @ 22:37:15 Author: anatolik Revision: 340420
upgpkg: seabios 1.12.0-1 Modified: seabios/trunk/PKGBUILD ----------+ PKGBUILD | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) Modified: PKGBUILD =================================================================== --- PKGBUILD 2018-11-26 21:42:13 UTC (rev 340419) +++ PKGBUILD 2018-11-26 22:37:15 UTC (rev 340420) @@ -1,8 +1,8 @@ # Maintainer: Tobias Powalowski <tp...@archlinux.org> pkgname=seabios -pkgver=1.11.0 -pkgrel=4 +pkgver=1.12.0 +pkgrel=1 pkgdesc="A 16-bit x86 bios" arch=('any') url="http://www.coreboot.org/SeaBIOS" @@ -22,7 +22,7 @@ config.vga.bochs-display config.vga.ramfb config.vga.virtio) -sha1sums=('ad679df075d888cbdb1233817c8bd101e8c8303e' +sha1sums=('3f8ee5c7cb449483e0e5bde50889bc7e54c4b0d1' '5f2adb09c9006def1719b8cbd4792f14a7c7f7c9' '7a4ec70237476c7cdd78589b069d0d39dfeaa8eb' '05b912a291994226049103cbe6754976cc03532d'