{ callPackage }:

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