btor2tools
btor2tools 0-unstable-2025-09-18 · pkgs/by-name/bt/btor2tools/package.nix
Health
Risk
risk 14 low
- +12 0-unstable-2025-09-18 is behind upstream 1.0.3, a major release
- +2 no meta.mainProgram, no versionCheckHook
Version
0-unstable-2025-09-18 upstream 1.0.3
Channels
master 0-unstable-2025-09-18 · nixos-unstable 0-unstable-2025-09-18 · nixos-26.05 0-unstable-2025-09-18 no channel is behind master
Hydra
succeeded 2w ago
Advisories
none open
Packaging
no meta.mainProgram no versionCheckHook
Packagewhat each field means
Description
Generic parser and tool package for the BTOR2 format
License
Platforms
45 platforms: Linux, Darwin
Source provenance
not set: built from source
Outputs
out dev libStatus
not broken, not insecure, free
Maintainers
Version bumps 0all open bumps
None open. Upstream has 1.0.3: how to update a package.
Pull requests 0
None open.
Issues 0
None open.