diff options
Diffstat (limited to 'deskutils')
-rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/Makefile | 2 | ||||
-rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/distinfo | 6 |
2 files changed, 4 insertions, 4 deletions
diff --git a/deskutils/gnome-shell-extension-mediaplayer/Makefile b/deskutils/gnome-shell-extension-mediaplayer/Makefile index 0075965f674f..621122ae56fb 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/Makefile +++ b/deskutils/gnome-shell-extension-mediaplayer/Makefile @@ -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 diff --git a/deskutils/gnome-shell-extension-mediaplayer/distinfo b/deskutils/gnome-shell-extension-mediaplayer/distinfo index 8928a88ed504..fdb07db15a84 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/distinfo +++ b/deskutils/gnome-shell-extension-mediaplayer/distinfo @@ -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 |