Directory listing for /.codesphere-internal/nix-home/.nix-defexpr/channels/nixpkgs/pkgs/by-name/is/isabelle/

• components/
• fix-copied-permissions.patch
• package.nix
• vampire-add-install-directive.patch