../ 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 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.orig.tar.bz2 08-Dec-2017 12:54 748225