{pkgs, naersk}:

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