diff options
| author | Timo Wilken <guix@twilken.net> | 2025-05-17 21:29:27 +0200 |
|---|---|---|
| committer | Ludovic Courtès <ludo@gnu.org> | 2025-06-06 18:46:57 +0200 |
| commit | b482738d6ea5762fd1d1ea609839fc445678a7c5 (patch) | |
| tree | 85e0e35c66b2daa0f949b4e252979afd1a2e24f7 | |
| parent | e82c5f7b12671963df2f50f7fe9c7d6fa537db3d (diff) | |
gnu: gnu-efi: Update to 3.0.18.
This version is the latest in the 3.x series and includes pkg-config files,
though there is a 4.x series as well.
* gnu/packages/efi.scm (gnu-efi): Update to 3.0.18.
Change-Id: I62306c02977c5676f9dd96e91f39d2704d9a9480
Signed-off-by: Ludovic Courtès <ludo@gnu.org>
| -rw-r--r-- | gnu/packages/efi.scm | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/gnu/packages/efi.scm b/gnu/packages/efi.scm index 499745eba1..99b41e9169 100644 --- a/gnu/packages/efi.scm +++ b/gnu/packages/efi.scm @@ -39,14 +39,14 @@ (define-public gnu-efi (package (name "gnu-efi") - (version "3.0.13") + (version "3.0.18") (source (origin (method url-fetch) (uri (string-append "mirror://sourceforge/gnu-efi/" "gnu-efi-" version ".tar.bz2")) (sha256 - (base32 "0z9v5pl5pmlw8pjpd66iyh9pml2hh6pqd4c5qilywilw4wazgk1g")))) + (base32 "0p1z87vkrlzgrn6bvw19hmyksiz586v6f4jkzgp7wm36xsb2q8bz")))) (build-system gnu-build-system) (arguments `(#:tests? #f ; none exist |