../ hotkeys_0.5.7.4-0.3ubuntu2.dsc 02-Nov-2013 15:48 1700 hotkeys_0.5.7.4-0.3ubuntu2.tar.gz 02-Nov-2013 15:48 253110 hotkeys_0.5.7.4-0.3ubuntu2_arm64.deb 02-Nov-2013 16:18 147012