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
This commit is contained in:
sthen 2023-01-30 21:49:02 +00:00
parent 603d313bbe
commit e8018bf929
2 changed files with 6 additions and 2 deletions

View File

@ -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

View File

@ -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