Package: gnu-efi
Version: 4.0.0-1
Architecture: amd64
Maintainer: Ubuntu Developers <ubuntu-devel-discuss@lists.ubuntu.com>
Original-Maintainer: Debian EFI team <debian-efi@lists.debian.org>
Installed-Size: 3726
Section: devel
Priority: optional
Homepage: https://github.com/ncroxon/gnu-efi
Description: Library for developing EFI applications
 GNU toolchain for building applications that can run in the environment
 presented by Intel's EFI (Extensible Firmware Interface). EFI is a firmware
 specification for the "BIOS" on ia64(IPF), IA-32(x86) and x86_64 systems.
