isabelle-components.isabelle-linter 2025-1-1.0.0 single
Linter component for Isabelle
- Name
isabelle-linter-2025-1-1.0.0- Package set
- isabelle-components
- Homepage
- https://github.com/isabelle-prover/isabelle-linter
- License
- MIT
- Source
- pkgs/by-name/is/isabelle/components/isabelle-linter.nix:34
- Derivation
/nix/store/nf4xrzfwh750lpc4s3jhvkyyvndssy42-isabelle-linter-2025-1-1.0.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-09T00:52:30Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| jvanbruegge | Jan van Brügge | GitHub · supermanitu@gmail.com | listed on package |
Dependencies 3
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| isabelle 2025-2 | nativeBuildInputs | 2 | maintained | |
| bashNonInteractive 5.3p15 | other input | 102,198 | maintained outdated | |
| stdenvNoCC 26.05pre-git | other input | 93,715 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.