1 files changed, 6 insertions, 0 deletions
diff --git a/crates.nix b/crates.nix
new file mode 100644
index 0000000..2f69268
--- /dev/null
+++ b/crates.nix
@@ -0,0 +1,6 @@
+{pkgs, naersk}:
+
+naersk.buildPackage {
+  name = "isabelle-unicode";
+  src = ./.;
+}