Merge pull request #43996 from samueldr/update/refind-0.11.3

refind: 0.11.2 -> 0.11.3
This commit is contained in:
Frederik Rietdijk 2018-07-24 20:50:44 +02:00 committed by GitHub
commit 010ebe1276
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -13,12 +13,12 @@ in
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "refind-${version}"; name = "refind-${version}";
version = "0.11.2"; version = "0.11.3";
srcName = "refind-src-${version}"; srcName = "refind-src-${version}";
src = fetchurl { src = fetchurl {
url = "mirror://sourceforge/project/refind/${version}/${srcName}.tar.gz"; url = "mirror://sourceforge/project/refind/${version}/${srcName}.tar.gz";
sha256 = "1k0xpm4y0gk1rxqdyprqyqpg5j16xw3l2gm3d9zpi5n9id43jkzn"; sha256 = "13q1yap9r4lzm5xjx1zi434gckd3gk5p8n4vh6jav0h3r3ayp633";
}; };
buildInputs = [ gnu-efi ]; buildInputs = [ gnu-efi ];