Merge pull request #273203 from nbraud/mpvScripts/mpv-playlistmanager

mpvScripts.mpv-playlistmanager: unstable-2023-08-09 → 2023-11-28
This commit is contained in:
Maciej Krüger 2023-12-31 10:41:52 +01:00 committed by GitHub
commit eae82ed714
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -2,13 +2,13 @@
buildLua rec { buildLua rec {
pname = "mpv-playlistmanager"; pname = "mpv-playlistmanager";
version = "unstable-2023-08-09"; version = "unstable-2023-11-28";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "jonniek"; owner = "jonniek";
repo = "mpv-playlistmanager"; repo = "mpv-playlistmanager";
rev = "e479cbc7e83a07c5444f335cfda13793681bcbd8"; rev = "579490c7ae1becc129736b7632deec4f3fb90b99";
sha256 = "sha256-Nh4g8uSkHWPjwl5wyqWtM+DW9fkEbmCcOsZa4eAF6Cs="; hash = "sha256-swOtoB8UV/HPTpQRGXswAfUYsyC2Nj/QRIkGP8X1jk0=";
}; };
postPatch = '' postPatch = ''