Index of /pub/FreeBSD/ports/deskutils/gnome-shell-extension-mediaplayer/
File Name
↓
File Size
↓
Date
↓
Parent directory/
-
-
Makefile
1.2 KiB
2023-Jun-14 22:00
distinfo
251 B
2022-Jul-02 05:30
pkg-descr
45 B
2022-Sep-07 21:30
pkg-plist
2.1 KiB
2018-Sep-30 11:58