../ 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 409K ser-player_1.7.2-3_i386.deb 07-Mar-2018 17:11 423K ser-player_1.7.2-3_mips64el.deb 07-Mar-2018 17:11 407K ser-player_1.7.2.orig.tar.bz2 13-Feb-2018 13:07 804K