mcrl2

mcrl2 202507 · pkgs/by-name/mc/mcrl2/package.nix

Health

Risk

risk 14 low

+12 202507 is behind upstream 202607.0, a major release
+2 no meta.mainProgram, no versionCheckHook

Version

202507 202607.0 available

Channels

master 202507 · nixos-unstable 202507 · nixos-26.05 202507 no channel is behind master

Hydra

succeeded 3d ago

Advisories

none open

Packaging

no meta.mainProgram no versionCheckHook

Packagewhat each field means

Description

Toolset for model-checking concurrent systems and protocols

Long description

A formal specification language with an associated toolset, that can be used for modelling, validation and verification of concurrent systems and protocols

Homepage

https://www.mcrl2.org/

License

BSL-1.0

Platforms

45 platforms: Linux, Darwin

Source provenance

not set: built from source

Outputs

out

Status

not broken, not insecure, free

Position

pkgs/by-name/mc/mcrl2/package.nix:64

Maintainers

moretea

Version bumps 0

all open bumps

None open. Upstream has 202607.0: how to update a package.

Pull requests 0

None open.

Issues 0

None open.