From e8018bf9294af08df487e9602581b5ffdf7da154 Mon Sep 17 00:00:00 2001 From: sthen Date: Mon, 30 Jan 2023 21:49:02 +0000 Subject: [PATCH] github are now serving mpv-0.35.1 with a different gzip encoding, though the tar after ungzipping is identical. set a temporary different DISTNAME so the files don't conflict if already fetched on any build machines. reported by naddy --- multimedia/mpv/Makefile | 4 ++++ multimedia/mpv/distinfo | 4 ++-- 2 files changed, 6 insertions(+), 2 deletions(-) diff --git a/multimedia/mpv/Makefile b/multimedia/mpv/Makefile index ec653c2c1f2..caf7eb8a937 100644 --- a/multimedia/mpv/Makefile +++ b/multimedia/mpv/Makefile @@ -3,6 +3,10 @@ COMMENT = movie player based on MPlayer/mplayer2 GH_ACCOUNT = mpv-player GH_PROJECT = mpv GH_TAGNAME = v0.35.1 + +# gz distfile was generated but no content change after gunzip +DISTNAME = mpv-v0.35.1-1 +PKGNAME = mpv-0.35.1 REVISION = 0 SHARED_LIBS += mpv 1.0 # 2.0 diff --git a/multimedia/mpv/distinfo b/multimedia/mpv/distinfo index 90f2ca2c24f..9fb378182a9 100644 --- a/multimedia/mpv/distinfo +++ b/multimedia/mpv/distinfo @@ -1,2 +1,2 @@ -SHA256 (mpv-0.35.1.tar.gz) = Qd+YG3uE4zou9EeKr4HW9PXIuc0sDTN6wUL8ILOH0ak= -SIZE (mpv-0.35.1.tar.gz) = 3367913 +SHA256 (mpv-v0.35.1-1.tar.gz) = XOT3FSDU/EkRgl4Vga6gap/KaT6O3tFOCoScO4MvGEI= +SIZE (mpv-v0.35.1-1.tar.gz) = 3369636