nixpkgs/pkgs/by-name/is/isabelle/components/default.nix
2024-07-06 18:41:28 +01:00

6 lines
80 B
Nix

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