1 files changed, 1 insertions, 1 deletions
diff --git a/default.nix b/default.nix
index 1cc38bb..28053b1 100644
--- a/default.nix
+++ b/default.nix
@@ -3,6 +3,6 @@ let
     sources = import ./nix/sources.nix;
     naersk = pkgs.callPackage sources.naersk {};
 in naersk.buildPackage {
-  name = "isabelle-dump";
+  name = "isabelle-unicode";
   src = ./.;
 }