From c85f348a98b905c7ef377fd84cee39e4483d63d6 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Charlotte=20=F0=9F=A6=9D=20Delenk?= <lotte@chir.rs>
Date: Sat, 18 Jun 2022 10:05:53 +0100
Subject: [PATCH] override name for regenpfeifer

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

diff --git a/misc/plover.nix b/misc/plover.nix
index d313df7..993bdfe 100644
--- a/misc/plover.nix
+++ b/misc/plover.nix
@@ -64,9 +64,10 @@ in rec {
     buildPhase = "true";
     installPhase = "cp wortformliste.csv $out";
   };
-  regenpfeifer = pkgs.stdenvNoCC.mkDerivation {
+  regenpfeifer = pkgs.stdenvNoCC.mkDerivation rec {
     pname = "regenpfeifer";
     version = inputs.regenpfeifer.lastModifiedDate;
+    name = "${pname}-${version}.json";
     src = inputs.regenpfeifer;
     patches = [
       ./regenpfeifer.patch