Juan RP a6d0d074bd New package: efibootmgr-0.5.4.		2012-07-03 13:42:09 +02:00
..
efibootmgr_after_0.5.4_git.patch
efibootmgr_default_to_grub2.patch