git: 0741f782ea5d - main - deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3'
- Go to: [ bottom of page ] [ top of archives ] [ this month ]
Date: Sat, 02 Jul 2022 05:35:18 UTC
The branch main has been updated by nc: URL: https://cgit.FreeBSD.org/ports/commit/?id=0741f782ea5d7049474ed24d1e6a1367921bff4a commit 0741f782ea5d7049474ed24d1e6a1367921bff4a Author: Neel Chauhan <nc@FreeBSD.org> AuthorDate: 2022-07-02 05:30:33 +0000 Commit: Neel Chauhan <nc@FreeBSD.org> CommitDate: 2022-07-02 05:35:09 +0000 deskutils/gnome-shell-extension-mediaplayer: use 'gnome' dir not 'gnome3' --- deskutils/gnome-shell-extension-mediaplayer/Makefile | 2 +- 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