prism-model-checker
prism-model-checker 4.10 · pkgs/by-name/pr/prism-model-checker/package.nix
Health
Risk
risk 9 low
- +8 4.10 is behind upstream 4.11
- +1 no versionCheckHook
Version
4.10 4.11 available
Channels
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no versionCheckHook
Packagewhat each field means
Description
Probabilistic Symbolic Model Checker
License
Platforms
45 platforms: Linux, Darwin
Main program
prismSource provenance
not set: built from source
Outputs
outStatus
not broken, not insecure, free
Maintainers
Version bumps 0
all open bumpsNone open. Upstream has 4.11: how to update a package.
Pull requests 0
None open.
Issues 0
None open.