../ 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