{ callPackage }:

{
  isabelle-linter = callPackage ./isabelle-linter.nix { };
}