mcrl2 202507 single outdated
Toolset for model-checking concurrent systems and protocols
- Name
mcrl2-202507- Package set
- top-level
- Homepage
- https://www.mcrl2.org/
- License
- BSL-1.0
- Source
- pkgs/by-name/mc/mcrl2/package.nix:64
- Derivation
/nix/store/0i4w4gbip1942brpd14dz0vnw48q7j75-mcrl2-202507.drv- Repology
- outdated, newest version is 202607.0 · mcrl2 (as of 2026-10-08T00:43:59Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| moretea | Maarten Hoogendoorn | GitHub · maarten@moretea.nl | listed on package |
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| boost 1.91.0 | buildInputs | 23,820 | unmaintained | |
| libGL 1.7.0 | buildInputs | 19,324 | team-only | |
| libGLU 9.0.3 | buildInputs | 3,642 | unmaintained | |
| qt6.qtbase 6.11.2 | buildInputs | 1,769 | maintained outdated | |
| cmake 4.4.3 | nativeBuildInputs | 68,621 | unmaintained outdated | |
| ninja 1.13.2 | nativeBuildInputs | 67,851 | maintained | |
| bashNonInteractive 5.3p15 | other input | 102,175 | maintained outdated | |
| stdenv 26.05pre-git | other input | 90,063 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.