From c914a1532b86b95b89e48ef8a1e43657194ff0dd Mon Sep 17 00:00:00 2001
From: stuebinm
Date: Sat, 4 Sep 2021 16:07:56 +0200
Subject: package name: isabelle-dump → isabelle-unicode

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

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 = ./.;
 }
-- 
cgit v1.2.3