Merge pull request #56205 from dtzWill/update/yubikey-personalization-1.19.3

yubikey-personalization: 1.19.0 -> 1.19.3
This commit is contained in:
Ryan Mulligan 2019-02-23 07:12:27 -08:00 committed by GitHub
commit 1fb596b20a
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

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