Maintainer Mode
Sign in with GitHub

tlaplus18

tlaplus 1.8.0 · pkgs/by-name/tl/tlaplus18/package.nix
Sign in to subscribe
Health
Risk
risk 2 low
  • +2 no meta.mainProgram, no versionCheckHook
Version
1.8.0 no newer release known to repology
Channels
master 1.8.0 · nixos-unstable 1.8.0 · nixos-26.05 1.8.0 no channel is behind master
Hydra
succeeded 2d ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Algorithm specification language with model checking tools
Homepage
https://lamport.azurewebsites.net/tla/tla.html
License
MIT
Platforms
45 platforms: Linux, Darwin
Source provenance
binaryBytecode
Outputs
out
Status
not broken, not insecure, free
Position
pkgs/by-name/tl/tlaplus18/package.nix:38
Maintainers
florentc, thoughtpolice, mgregson
Version bumps 0all open bumps
None open.
Pull requests 1
tlaplus18: add tla+ community contrib libraries
#490970 by yihuang · opened 8mo ago · checks pass
Issues 0
None open.