diff options
| author | Tobias C. Berner <tcberner@FreeBSD.org> | 2020-11-07 07:29:33 +0000 |
|---|---|---|
| committer | Tobias C. Berner <tcberner@FreeBSD.org> | 2020-11-07 07:29:33 +0000 |
| commit | 139178e4cd5e08f393a46bfb11ded3edba899aad (patch) | |
| tree | 928136dcd0892e966be08384ac03787736c39935 /deskutils | |
| parent | deskutils/gnome-shell-extension-trash: Update to 0.2.0 (diff) | |
deskutils/gnome-shell-extension-mediaplayer: Update to 4.0
PR: 250633
Submitted by: Neel Chauhan <neel@neelc.org>
Notes
Notes:
svn path=/head/; revision=554345
Diffstat (limited to 'deskutils')
| -rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/Makefile | 4 | ||||
| -rw-r--r-- | deskutils/gnome-shell-extension-mediaplayer/distinfo | 6 |
2 files changed, 4 insertions, 6 deletions
diff --git a/deskutils/gnome-shell-extension-mediaplayer/Makefile b/deskutils/gnome-shell-extension-mediaplayer/Makefile index 823dd84643a0..e4667bb0f3aa 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/Makefile +++ b/deskutils/gnome-shell-extension-mediaplayer/Makefile @@ -2,8 +2,7 @@ # $FreeBSD$ PORTNAME= gnome-shell-extension-mediaplayer -PORTVERSION= 0.0.0.20180316 -PORTREVISION= 1 +PORTVERSION= 4.0 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome3 @@ -25,7 +24,6 @@ GLIB_SCHEMAS= org.gnome.shell.extensions.mediaplayer.gschema.xml USE_GITHUB= yes GH_ACCOUNT= JasonLG1979 GH_PROJECT= gnome-shell-extensions-mediaplayer -GH_TAGNAME= 9653b7d PKGMESSAGE= ../gnome-shell-extra-extensions/pkg-message.slaves diff --git a/deskutils/gnome-shell-extension-mediaplayer/distinfo b/deskutils/gnome-shell-extension-mediaplayer/distinfo index 0505ddc847a2..8928a88ed504 100644 --- a/deskutils/gnome-shell-extension-mediaplayer/distinfo +++ b/deskutils/gnome-shell-extension-mediaplayer/distinfo @@ -1,3 +1,3 @@ -TIMESTAMP = 1527932722 -SHA256 (gnome3/JasonLG1979-gnome-shell-extensions-mediaplayer-0.0.0.20180316-9653b7d_GH0.tar.gz) = db6b2b299799f03b69874931d0ad6e007f22d5fab013fb598fdc3ad487adc95d -SIZE (gnome3/JasonLG1979-gnome-shell-extensions-mediaplayer-0.0.0.20180316-9653b7d_GH0.tar.gz) = 246978 +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 |