# This file contains additional build requirements that did not get
# picked up automatically. One name per line, no whitespace.
gnu-efi
gnu-efi-dev