Maintainer Mode
Sign in with GitHub
Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

nuxmv

nuxmv 2.1.0 · pkgs/by-name/nu/nuxmv/package.nix
Sign in to subscribe
Health
Risk
risk 10 low
  • +8 2.1.0 is behind upstream 2.2.0
  • +2 no meta.mainProgram, no versionCheckHook
Version
2.1.0 upstream 2.2.0
Channels
master 2.1.0 · nixos-unstable 2.1.0 · nixos-26.05 2.1.0 no channel is behind master
Hydra
no finished build of nixpkgs/unstable/nuxmv.x86_64-linux
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Symbolic model checker for analysis of finite and infinite state systems
Homepage
https://nuxmv.fbk.eu/
License
unfree
Platforms
2 platforms: Linux, Darwin
Source provenance
binaryNativeCode
Outputs
out
Status
unfree
Position
pkgs/by-name/nu/nuxmv/package.nix:37
Maintainers
siraben
Version bumps 0all open bumps
None open. Upstream has 2.2.0: how to update a package.
Pull requests 0
None open.
Issues 0
None open.