summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorstuebinm2021-09-04 16:07:56 +0200
committerstuebinm2021-09-04 16:07:56 +0200
commitc914a1532b86b95b89e48ef8a1e43657194ff0dd (patch)
treebf4d5a96a192fbecf446d8f2450d2b9f5f2246d4
parent3e24f64d9652bebe49838f244f1e1bfa2cc45f17 (diff)
package name: isabelle-dump → isabelle-unicode
Diffstat (limited to '')
-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 = ./.;
}