isabelle 2025-2 maintained
Generic proof assistant
- Name
isabelle-2025-2- Package set
- top-level
- Homepage
- https://isabelle.in.tum.de/
- License
- BSD-3-Clause
- Source
- pkgs/by-name/is/isabelle/package.nix:336
- Derivation
/nix/store/b67pmv40q9wcm0wak483ll87g2r3l5k8-isabelle-2025-2.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 2
| Handle | Name | Contact | Via |
|---|---|---|---|
| jvanbruegge | Jan van Brügge | GitHub · supermanitu@gmail.com | listed on package |
| sempiternal-aurora | Myria Sarvay | GitHub · myrialsarvay@gmail.com | listed on package |
Dependencies 13
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| csdp 6.1.1 | buildInputs | 143 | single outdated | |
| eprover-ho 3.2 | buildInputs | 3 | single outdated | |
| net-tools 2.10 | buildInputs | 48,492 | unmaintained | |
| verit 2021.06.2 | buildInputs | 3 | unmaintained | |
| jdk 21.0.12.1+1 | nativeBuildInputs | 1,183 | maintained | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| coreutils 9.11 | other input | 102,431 | maintained outdated | |
| electron 43.7.7 | other input | 120 | team-only | |
| gcc 16.2.0 | other input | 102,420 | team-only | |
| libgcc 16.2.0 | other input | 102,423 | team-only | |
| perl 5.42.3 | other input | 80,356 | team-only outdated | |
| rlwrap 0.48 | other input | 13 | single | |
| stdenv 26.05pre-git | other input | 90,330 | team-only |
Used by 2 directly, 2 transitively
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| isabelle-components.isabelle-linter 2025-1-1.0.0 | nativeBuildInputs | 0 | single | |
| tlaps 1.4.5 | nativeBuildInputs | 0 | single |