Merge pull request #268886 from r-ryantm/auto-update/leo-editor

leo-editor: 6.7.4 -> 6.7.5
This commit is contained in:
Pierre Bourdon
2023-11-21 09:37:17 +01:00
committed by GitHub
@@ -2,13 +2,13 @@
mkDerivation rec {
pname = "leo-editor";
version = "6.7.4";
version = "6.7.5";
src = fetchFromGitHub {
owner = "leo-editor";
repo = "leo-editor";
rev = version;
sha256 = "sha256-YKK46PeCMOTNOTpMrIgem+Au70Xj+tTHxOhC8alF3ms=";
sha256 = "sha256-Y0g4mpEf4+hApHFHaqB8esVep2OyqWLo7YGLf/7eCYg=";
};
dontBuild = true;