Merge pull request #204417 from SuperSandro2000/gnu-efi

gnu-efi: remove unused with
This commit is contained in:
Jörg Thalheim 2022-12-04 17:09:28 +01:00 committed by GitHub
commit ae26439798
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,8 +1,6 @@
{ lib, stdenv, buildPackages, fetchurl, pciutils { lib, stdenv, buildPackages, fetchurl, pciutils
, gitUpdater }: , gitUpdater }:
with lib;
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "gnu-efi"; pname = "gnu-efi";
version = "3.0.15"; version = "3.0.15";
@ -32,5 +30,6 @@ stdenv.mkDerivation rec {
homepage = "https://sourceforge.net/projects/gnu-efi/"; homepage = "https://sourceforge.net/projects/gnu-efi/";
license = licenses.bsd3; license = licenses.bsd3;
platforms = platforms.linux; platforms = platforms.linux;
maintainers = with maintainers; [ ];
}; };
} }