nixsearch
nixsearch / pkg / uppaal / 5.0

uppaal 5.0

Integrated tool environment for modeling, validation and verification of real-time systems
Linux last changed

Pin this version

$ devbox add uppaal@5.0
systemsx86_64-linux commit02f5696b0e6097e589076d886b317b83ff0437d7 
$ nix shell github:NixOS/nixpkgs/02f5696b0e6097e589076d886b317b83ff0437d7#uppaal

Per system

SystemAttributeCommitDateOutputsFlags
x86_64-linux
Linux · x86-64		 uppaal 02f5696b0e60
out
/nix/store/adq804bbglc3kjr03yxxllgcwlqfmcgq-uppaal-5.0
all 1 releases

JSON: /v2/pkg?name=uppaal · /v2/resolve?name=uppaal&version=5.0