uppaal 5.0 single unfree
Integrated tool environment for modeling, validation and verification of real-time systems
- Name
uppaal-5.0- Package set
- top-level
- Homepage
- https://uppaal.org/
- License
- unfreeRedistributable
- Main program
uppaal- Source
- pkgs/by-name/up/uppaal/package.nix:74
- Derivation
/nix/store/i3my24lv45nb8vif6s3vv1whx8iz7d35-uppaal-5.0.drv- Repology
- not reported as outdated · look up (as of 2026-10-07T10:23:38Z)
Maintainers 1
| Handle | Name | Contact | Via |
|---|---|---|---|
| MortenMunk | Morten Munk | GitHub · mortenmunk97@gmail.com | listed on package |
Dependencies 8
| Package | As | Maintainers | Used by (transitive) | Status |
|---|---|---|---|---|
| gdk-pixbuf 2.44.8 | buildInputs | 19,552 | team-only | |
| jdk17 17.0.20.1+1 | buildInputs | 42 | maintained | |
| shared-mime-info 2.5.1 | buildInputs | 8,365 | maintained | |
| copyDesktopItems 26.05pre-git | nativeBuildInputs | 704 | unmaintained setup hook | |
| makeWrapper 26.05pre-git | nativeBuildInputs | 76,854 | unmaintained setup hook | |
| wrapGAppsHook3 26.05pre-git | nativeBuildInputs | 2,215 | unmaintained setup hook | |
| bashNonInteractive 5.3p15 | other input | 102,441 | maintained outdated | |
| stdenvNoCC 26.05pre-git | other input | 93,950 | team-only |
Used by 0 directly, 0 transitively
No package depends on this one.