../ ser-player_1.7.1-1.debian.tar.xz 08-Dec-2017 12:54 34216 ser-player_1.7.1-1.dsc 08-Dec-2017 12:54 2034 ser-player_1.7.1-1_armhf.deb 13-Dec-2017 10:08 341296 ser-player_1.7.1.orig.tar.bz2 08-Dec-2017 12:54 748225 ser-player_1.7.2-2.debian.tar.xz 14-Feb-2018 14:45 5220 ser-player_1.7.2-2.dsc 14-Feb-2018 14:45 2006 ser-player_1.7.2.orig.tar.bz2 13-Feb-2018 13:07 823341