uppaal
uppaal 5.0 · pkgs/by-name/up/uppaal/package.nix
Health
Risk
risk 0 ok
Version
5.0 no newer release known to repology
Channels
Hydra
no finished build of nixpkgs/unstable/uppaal.x86_64-linux
Advisories
none open
Packaging
not read yet: the next index sweep reads it
Maintainers
Pull requests 1
Uppaal: add verifyta as output
#480353 by GrootProgrammer · opened 9mo ago · checks pass
Issues 0
None open.