master · x86_64-linux · d4d44dc89bfa · generated 2026-10-10T00:44:06Z
102,217packages 38,715unmaintained (37.9%) 41,835single maintainer (40.9%) 9,522team only (9.3%) 8,403broken 12,593outdated (12.3%) 4,917maintainers 85teams 206setup hooks (hidden)
Reset

1 packages

Package ▼ Version Maintainers # Teams Deps Used by Used by (transitive) Status
isabelle-components.isabelle-linter
Linter component for Isabelle
2025-1-1.0.0
jvanbruegge
 1
3 0 0 single