Source: systemd-boot-efi-${DEB_HOST_ARCH}-signed
Section: admin
Priority: optional
Maintainer: Debian systemd Maintainers <pkg-systemd-maintainers@lists.alioth.debian.org>
Build-Depends: debhelper-compat (= 13),
               sbsigntool,
               systemd-boot-efi (= ${DEB_VERSION}),
Standards-Version: 4.7.0
Rules-Requires-Root: no
Vcs-Git: https://salsa.debian.org/systemd-team/systemd.git
Vcs-Browser: https://salsa.debian.org/systemd-team/systemd

Package: systemd-boot-efi-${DEB_HOST_ARCH}-signed
Architecture: ${DEB_HOST_ARCH}
Provides: systemd-boot-efi-signed
Built-Using: systemd (= ${DEB_VERSION_SOURCE})
Description: Tools to manage UEFI firmware updates (signed)
 systemd is a system and service manager for Linux. It provides aggressive
 parallelization capabilities, uses socket and D-Bus activation for starting
 services, offers on-demand starting of daemons, keeps track of processes using
 Linux control groups, maintains mount and automount points and implements an
 elaborate transactional dependency-based service control logic.
 .
 This package provides systemd's tools for EFI boot:
  * signed efi binaries