../ user-manager_5.12.1-1.debian.tar.xz 20-Feb-2018 21:27 7960 user-manager_5.12.1-1.dsc 20-Feb-2018 21:27 2341 user-manager_5.12.1-1_armhf.deb 26-Feb-2018 16:08 408820 user-manager_5.12.1.orig.tar.xz 20-Feb-2018 21:27 544900 user-manager_5.8.5-2.debian.tar.xz 08-Apr-2017 07:06 2840 user-manager_5.8.5-2.dsc 08-Apr-2017 07:06 2183 user-manager_5.8.5-2_armhf.deb 19-Apr-2017 23:12 405380 user-manager_5.8.5.orig.tar.xz 30-Dec-2016 18:30 542472