path: root/crates.nix

{pkgs, naersk}:

naersk.buildPackage {
  name = "isabelle-unicode";
  src = ./.;
}