diff options
author | Neel Chauhan <nc@FreeBSD.org> | 2022-07-01 22:30:33 -0700 |
---|---|---|
committer | Neel Chauhan <nc@FreeBSD.org> | 2022-07-01 22:35:09 -0700 |
commit | 0741f782ea5d7049474ed24d1e6a1367921bff4a (patch) | |
tree | 4bf44f4707b2e007c25ed830d657c0798e3c4017 /deskutils | |
parent | 8d142542f9436e30899523d40faa5e90961e9047 (diff) | |
download | freebsd-ports-0741f782ea5d7049474ed24d1e6a1367921bff4a.zip |
deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3'
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 |