fix name of plover_stroke

This commit is contained in:
Charlotte 🦝 Delenk 2022-06-28 15:06:56 +01:00
parent 6502a4f30f
commit b0a7723f68
Signed by: darkkirb
GPG key ID: AB2BD8DAF2E37122

View file

@ -25,7 +25,7 @@ in rec {
version = "1.1.0"; version = "1.1.0";
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "benoit-pierre"; owner = "benoit-pierre";
repo = "plover_plugin_manager"; repo = "plover_stroke";
rev = "1.1.0"; rev = "1.1.0";
sha256 = "sha256-A75OMzmEn0VmDAvmQCp6/7uptxzwWJTwsih3kWlYioA="; sha256 = "sha256-A75OMzmEn0VmDAvmQCp6/7uptxzwWJTwsih3kWlYioA=";
}; };