../ ser-player_1.7.0-5.debian.tar.xz 28-Oct-2017 14:59 34168 ser-player_1.7.0-5.dsc 28-Oct-2017 14:59 2019 ser-player_1.7.0-5_armhf.deb 03-Nov-2017 10:08 321952 ser-player_1.7.0.orig.tar.gz 16-Oct-2017 19:05 743064