diff options
author | Marius Bakke <marius@gnu.org> | 2020-05-26 22:34:46 +0200 |
---|---|---|
committer | Marius Bakke <marius@gnu.org> | 2020-05-26 22:34:46 +0200 |
commit | aa13c5657d4f8b5dd52beda88a9a8ccc59ebca86 (patch) | |
tree | 856094a6541a72b70d471ed5265d6e940cb11e55 /gnu/packages/efi.scm | |
parent | 8ab211dbdb7df000a64aceadfe7b53488819d245 (diff) | |
parent | b4f04e0efff1fb6112b84dc6d36ea46215c336b2 (diff) | |
download | guix-aa13c5657d4f8b5dd52beda88a9a8ccc59ebca86.tar.gz |
Merge branch 'master' into staging
Diffstat (limited to 'gnu/packages/efi.scm')
-rw-r--r-- | gnu/packages/efi.scm | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/gnu/packages/efi.scm b/gnu/packages/efi.scm index d986913243..da00fdf932 100644 --- a/gnu/packages/efi.scm +++ b/gnu/packages/efi.scm @@ -37,14 +37,14 @@ (define-public gnu-efi (package (name "gnu-efi") - (version "3.0.11") + (version "3.0.12") (source (origin (method url-fetch) (uri (string-append "mirror://sourceforge/gnu-efi/" "gnu-efi-" version ".tar.bz2")) (sha256 - (base32 "1ffnc4xbzfggs37ymrgfx76j56kk2644c081ivhr2bjkla9ag3gj")))) + (base32 "0sbn6am3k5lqafycggh1g964fcwjwnh0i9hhwrk4ncrwzphz55h1")))) (build-system gnu-build-system) (arguments `(#:tests? #f ; none exist @@ -54,8 +54,8 @@ (modify-phases %standard-phases (delete 'configure)))) (synopsis "EFI toolchain") - (description "This package provides an EFI (Extensible Firmware -Interface) toolchain for building programs that can run in the + (description "This package provides an @acronym{EFI, Extensible Firmware +Interface} toolchain for building programs that can run in the environment presented by Intel's EFI.") (home-page "https://directory.fsf.org/wiki/GNU_EFI") ;; Distribution is allowed only when accepting all those licenses. |