Welcome to Capital Online Mirror Site

/ubuntu/ubuntu/pool/universe/g/gnome-shell-extension-mediaplayer/

File Name ↓	File Size ↓	Date ↓
Parent directory/	-	-
gnome-shell-extension-mediaplayer_3.5.orig.tar.gz	239.1 KiB	2017-Nov-28 01:45
gnome-shell-extension-mediaplayer_3.5-3.debian.tar.xz	13.4 KiB	2018-Feb-26 07:18
gnome-shell-extension-mediaplayer_3.5-3.dsc	2.1 KiB	2018-Feb-26 07:18
gnome-shell-extension-mediaplayer_3.5-3_all.deb	44.4 KiB	2018-Feb-26 07:18