default.nix « components « isabelle « is « by-name « pkgs - mirror/nixpkgs - Nix packages collection

index : mirror/nixpkgs

Nix packages collection

about summary refs log tree commit diff

path: root/pkgs/by-name/is/isabelle/components/default.nix

blob: dd7b605f56af0efe04742766194a83329865679d (plain) (blame)

{ callPackage }:

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