../ yubikey-piv-manager_1.4.2-2.debian.tar.xz 26-Sep-2018 10:30 24K yubikey-piv-manager_1.4.2-2.dsc 26-Sep-2018 10:30 1904 yubikey-piv-manager_1.4.2-2_all.deb 26-Sep-2018 10:30 51K yubikey-piv-manager_1.4.2.orig.tar.gz 18-Aug-2017 18:41 154K