Merge pull request #64508 from dtzWill/update/yubikey-personalization-1.20.0

yubikey-personalization: 1.19.3 -> 1.20.0
This commit is contained in:
Will Dietz 2019-07-18 15:13:43 -05:00 committed by GitHub
commit 7f8bbe3ecf
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,11 +2,11 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
name = "yubikey-personalization-${version}"; name = "yubikey-personalization-${version}";
version = "1.19.3"; version = "1.20.0";
src = fetchurl { src = fetchurl {
url = "https://developers.yubico.com/yubikey-personalization/Releases/ykpers-${version}.tar.gz"; url = "https://developers.yubico.com/yubikey-personalization/Releases/ykpers-${version}.tar.gz";
sha256 = "0jhvnavjrpwzmmjcw486df5s48j53njqgyz36yz3dskbaz3kwlfr"; sha256 = "14wvlwqnwj0gllkpvfqiy8ns938bwvjsz8x1hmymmx32m074vj0f";
}; };
nativeBuildInputs = [ pkgconfig ]; nativeBuildInputs = [ pkgconfig ];