Index of /pool/main/s/ser-player

	Name	Last modified	Size
	Parent Directory		-
	ser-player_1.7.2-3.dsc	2018-03-07 14:19	2.0K
	ser-player_1.7.2-3.debian.tar.xz	2018-03-07 14:19	5.1K
	ser-player_1.7.2-3_armhf.deb	2018-03-13 11:08	393K
	ser-player_1.7.2.orig.tar.bz2	2018-02-13 14:07	804K