From f0d693ad5e55c01d7ce4e8b05e43cf2f737de811 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= <lotte@chir.rs>
Date: Fri, 17 Jun 2022 12:51:38 +0100
Subject: [PATCH] use pypy3 instead of python3 for regenpfeifer

---
 misc/plover.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/misc/plover.nix b/misc/plover.nix
index 515b89c..514f84b 100644
--- a/misc/plover.nix
+++ b/misc/plover.nix
@@ -53,7 +53,7 @@ with pkgs; rec {
       };
       propagatedBuildInputs = [plover];
     };
-  regenpfeifer-env = python3.buildEnv.override {
+  regenpfeifer-env = pypy3.buildEnv.override {
     extraLibs = with pkgs.python3Packages; [marisa-trie];
   };
   wortformliste = pkgs.stdenvNoCC.mkDerivation {