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