D/yubico-c////
D/yubico-c-client////
D/yubikey-personalization////
D/yubikey-personalization-gui////
D/yubico-piv-tool////
D/yubikey-manager////
/Makefile/1.6/Sat Mar 12 08:17:55 2022//
/Makefile.inc/1.7/Wed Sep 27 17:18:33 2023//
