From 9b7565ef0aad91565585b899759ddf6ae6435088 Mon Sep 17 00:00:00 2001
From: David Mosbach <mosbach@cip.ifi.lmu.de>
Date: Sat, 27 Jan 2024 20:32:35 +0000
Subject: [PATCH] renamed executable

---
 flake.nix | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/flake.nix b/flake.nix
index 7dfecb7..4009dba 100644
--- a/flake.nix
+++ b/flake.nix
@@ -49,7 +49,7 @@
           stack build --verbose
         '';
         installPhase = ''
-          mv .stack-work/install/${system}/*/*/bin/${name}-exe $out
+          mv .stack-work/install/${system}/*/*/bin/${name}-exe $out/${name}
           echo "moved"
         '';
       };