| File Name ↓ | File Size ↓ | Date ↓ |
|---|---|---|
| Parent directory/ | - | - |
| ser-player_1.7.2.orig.tar.bz2 | 804K | 2018-Feb-13 18:14 |
| ser-player_1.7.2-3.debian.tar.xz | 5208 | 2018-Mar-09 04:34 |
| ser-player_1.7.2-3.dsc | 2006 | 2018-Mar-09 04:34 |
| ser-player_1.7.2-3_amd64.deb | 428K | 2018-Mar-09 04:43 |
| ser-player_1.7.2-3_i386.deb | 441K | 2018-Mar-09 04:43 |