../ session-shortcuts_1.3.dsc 28-Jun-2017 08:43 1429 session-shortcuts_1.3.tar.xz 28-Jun-2017 08:43 2852 session-shortcuts_1.3_all.deb 28-Jun-2017 08:43 2614 session-shortcuts_1.4.dsc 02-Oct-2018 15:23 1461 session-shortcuts_1.4.tar.xz 02-Oct-2018 15:23 2956 session-shortcuts_1.4_all.deb 02-Oct-2018 15:33 2800