Merge pull request #253189 from kashw2/leo-editor

leo-editor: 6.7.3 -> 6.7.4
This commit is contained in:
Weijia Wang 2023-09-05 16:31:31 +02:00 committed by GitHub
commit 44352677f1
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -2,13 +2,13 @@
mkDerivation rec {
pname = "leo-editor";
version = "6.7.3";
version = "6.7.4";
src = fetchFromGitHub {
owner = "leo-editor";
repo = "leo-editor";
rev = version;
sha256 = "sha256-yzYcdKFhpvxmqzxXMpsdySMk3pLd+ve87W0y2epZoqQ=";
sha256 = "sha256-YKK46PeCMOTNOTpMrIgem+Au70Xj+tTHxOhC8alF3ms=";
};
dontBuild = true;
@ -60,7 +60,7 @@ mkDerivation rec {
description = "A powerful folding editor";
longDescription = "Leo is a PIM, IDE and outliner that accelerates the work flow of programmers, authors and web designers.";
license = licenses.mit;
maintainers = with maintainers; [ leonardoce ];
maintainers = with maintainers; [ leonardoce kashw2 ];
mainProgram = "leo";
};
}