| File Name | File Size | Date |
|---|---|---|
| Parent directory/ | - | - |
| ser-player_1.7.2-2.debian.tar.xz | 5220 | 14-Feb-2018 14:45 |
| ser-player_1.7.2-2.dsc | 2006 | 14-Feb-2018 14:45 |
| ser-player_1.7.2-2_amd64.deb | 413K | 14-Feb-2018 15:56 |
| ser-player_1.7.2.orig.tar.bz2 | 804K | 13-Feb-2018 13:07 |