diff options
| author | stuebinm | 2021-09-04 16:07:56 +0200 |
|---|---|---|
| committer | stuebinm | 2021-09-04 16:07:56 +0200 |
| commit | c914a1532b86b95b89e48ef8a1e43657194ff0dd (patch) | |
| tree | bf4d5a96a192fbecf446d8f2450d2b9f5f2246d4 | |
| parent | 3e24f64d9652bebe49838f244f1e1bfa2cc45f17 (diff) | |
package name: isabelle-dump → isabelle-unicode
| -rw-r--r-- | default.nix | 2 |
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 = ./.; } |