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.

nusmv

NuSMV 2.7.0 · pkgs/by-name/nu/nusmv/package.nix
Sign in to subscribe
Health
Risk
risk 10 low
  • +8 2.7.0 is behind upstream 2.7.1
  • +2 no meta.mainProgram, no versionCheckHook
Version
2.7.0 upstream 2.7.1
Channels
master 2.7.0 · nixos-unstable 2.7.0 · nixos-26.05 2.7.0 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
New symbolic model checker for the analysis of synchronous finite-state and infinite-state systems
Homepage
https://nusmv.fbk.eu/
License
LGPL-2.1-or-later
Platforms
25 platforms: Linux, Darwin
Source provenance
binaryNativeCode
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/nu/nusmv/package.nix:39
Maintainers
mgttlinger
Version bumps 0all open bumps
None open. Upstream has 2.7.1: how to update a package.
Pull requests 0
None open.
Closed or merged in the synced window 1
nusmv: add license
#562031 by GraysonTinker · merged 5w ago
Issues 0
None open.