summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--default.nix2
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 = ./.;
}