Merge pull request #269536 from r-ryantm/auto-update/mmlgui

mmlgui: unstable-2023-09-20 -> unstable-2023-11-16
This commit is contained in:
Pierre Bourdon 2023-11-26 14:44:12 +01:00 committed by GitHub
commit a7b439681f
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -15,14 +15,14 @@
stdenv.mkDerivation rec { stdenv.mkDerivation rec {
pname = "mmlgui"; pname = "mmlgui";
version = "unstable-2023-09-20"; version = "unstable-2023-11-16";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "superctr"; owner = "superctr";
repo = "mmlgui"; repo = "mmlgui";
rev = "a941dbcb34d2e1d56ac4489fbec5f893e9b8fb6d"; rev = "627bfc7b67d4d87253517ba71df2d699a8acdd10";
fetchSubmodules = true; fetchSubmodules = true;
hash = "sha256-d5DznY0WRJpiUEtUQ8Yihc0Ej8+k5cYTqrzUSp/1wg4="; hash = "sha256-d/QLRlSfCrrcvzIhwEBKB5chK+XqO/R8xJ5VfagDi4U=";
}; };
postPatch = '' postPatch = ''