../ yubikey-personalization-gui_3.1.16-1.debian.tar.xz 01-Oct-2014 16:00 22360 yubikey-personalization-gui_3.1.16-1.dsc 01-Oct-2014 16:00 1936 yubikey-personalization-gui_3.1.16-1_armhf.deb 12-Oct-2014 11:10 328168 yubikey-personalization-gui_3.1.16.orig.tar.gz 01-Oct-2014 16:00 1397358