../ 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_amd64.deb 07-Mar-2018 17:11 419204 ser-player_1.7.2.orig.tar.bz2 13-Feb-2018 13:07 823341