Index: head/deskutils/gnome-shell-extension-mediaplayer/Makefile =================================================================== --- head/deskutils/gnome-shell-extension-mediaplayer/Makefile (revision 554344) +++ head/deskutils/gnome-shell-extension-mediaplayer/Makefile (revision 554345) @@ -1,38 +1,36 @@ # Created by: Gustau Perez i Querol # $FreeBSD$ PORTNAME= gnome-shell-extension-mediaplayer -PORTVERSION= 0.0.0.20180316 -PORTREVISION= 1 +PORTVERSION= 4.0 CATEGORIES= deskutils gnome DIST_SUBDIR= gnome3 MAINTAINER= gnome@FreeBSD.org COMMENT= MPRIS2 extension for the GNOME3 shell BUILD_DEPENDS= gsettings-desktop-schemas>=3.12.0:devel/gsettings-desktop-schemas RUN_DEPENDS= gnome-shell>=0:x11/gnome-shell \ gsettings-desktop-schemas>=3.12.0:devel/gsettings-desktop-schemas USES= gettext gnome meson pkgconfig python:3.4+,build USE_GNOME= glib20 intltool USE_LDCONFIG= yes BINARY_ALIAS= python3=${PYTHON_VERSION} 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 post-install: @${MKDIR} ${STAGEDIR}${PREFIX}/share/glib-2.0/schemas/ @${MV} "${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/mediaplayer@patapon.info/schemas/org.gnome.shell.extensions.mediaplayer.gschema.xml" \ ${STAGEDIR}${PREFIX}/share/glib-2.0/schemas/ @${RMDIR} ${STAGEDIR}${PREFIX}/share/gnome-shell/extensions/mediaplayer@patapon.info/schemas .include Index: head/deskutils/gnome-shell-extension-mediaplayer/distinfo =================================================================== --- head/deskutils/gnome-shell-extension-mediaplayer/distinfo (revision 554344) +++ head/deskutils/gnome-shell-extension-mediaplayer/distinfo (revision 554345) @@ -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