deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3'
This commit is contained in:
parent
8d142542f9
commit
0741f782ea
2 changed files with 4 additions and 4 deletions
|
@ -3,7 +3,7 @@
|
|||
PORTNAME= gnome-shell-extension-mediaplayer
|
||||
PORTVERSION= 4.0
|
||||
CATEGORIES= deskutils gnome
|
||||
DIST_SUBDIR= gnome3
|
||||
DIST_SUBDIR= gnome
|
||||
|
||||
MAINTAINER= gnome@FreeBSD.org
|
||||
COMMENT= MPRIS2 extension for the GNOME3 shell
|
||||
|
|
|
@ -1,3 +1,3 @@
|
|||
TIMESTAMP = 1603726020
|
||||
SHA256 (gnome3/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 01e0505be1d82877faa87fc0321a7b65b1e4f48ad19156721f6dc01326461300
|
||||
SIZE (gnome3/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 247328
|
||||
TIMESTAMP = 1656739811
|
||||
SHA256 (gnome/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 01e0505be1d82877faa87fc0321a7b65b1e4f48ad19156721f6dc01326461300
|
||||
SIZE (gnome/JasonLG1979-gnome-shell-extensions-mediaplayer-4.0_GH0.tar.gz) = 247328
|
||||
|
|
Loading…
Reference in a new issue