dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

yubico-piv-tool: add dev, man outputs

Browse Source
This commit is contained in:
Anthony Roussel 2023-12-06 17:31:24 +01:00
parent 9db4b1b7bc
commit de7db40cfe
No known key found for this signature in database
GPG Key ID: 9DC4987B1A55E75E
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
pkgs/tools/misc/yubico-piv-tool/default.nix
View File

@ -19,6 +19,8 @@ stdenv.mkDerivation rec {
pname = "yubico-piv-tool";
version = "2.4.1";
outputs = [ "out" "dev" "man" ];
src = fetchurl {
url = "https://developers.yubico.com/yubico-piv-tool/Releases/yubico-piv-tool-${version}.tar.gz";
hash = "sha256-oaqYtrF06yunfyleCMmAWYupR/aXsbcHygjHbPPdzms=";