nixsearch
nixsearch / pkg / uppaal

uppaal

Integrated tool environment for modeling, validation and verification of real-time systems
uppaal.org uppaal 1 release newest changed
uppaal@ latest, 3.11, ^3.11, >=3.10 <3.12
version5.0 attributeuppaal rev02f5696b0e6097e589076d886b317b83ff0437d7 · one commit for every system systemsaarch64-darwinaarch64-linuxx86_64-darwin✓ x86_64-linux
$ devbox add uppaal@5.0
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#uppaal

JSON: /v2/resolve?name=uppaal&version=latest

Releases

newest first, as /v2/pkg orders them
Versionarm
mac
arm
linux
x86
mac
x86
linux
AttributeCommitDateOutputs
5.0resolved –––✓ uppaal 02f5696b0e

Prereleases are listed but latest never picks one. “varies” means each system last changed at a different nixpkgs commit — the release page lists them.