../ ser-player_1.7.2-3.debian.tar.xz 07-Mar-2018 13:19 5208 ser-player_1.7.2-3.dsc 07-Mar-2018 13:19 2006 ser-player_1.7.2-3_armhf.deb 13-Mar-2018 10:08 402076 ser-player_1.7.2.orig.tar.bz2 13-Feb-2018 13:07 823341 ser-player_1.7.3-1.debian.tar.xz 11-Feb-2020 16:41 9068 ser-player_1.7.3-1.dsc 11-Feb-2020 16:41 2012 ser-player_1.7.3-1_armhf.deb 17-Feb-2020 10:08 403652 ser-player_1.7.3.orig.tar.bz2 11-Feb-2020 16:41 804398