cryptominisat

cryptominisat 5.11.21 · pkgs/by-name/cr/cryptominisat/package.nix

Sign in to subscribe

Health

Risk

risk 8 low

+8 5.11.21 is behind upstream 5.17.0

Version

5.11.21 upstream 5.17.0

Channels

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

Hydra

succeeded 2w ago

Advisories

none open

Packaging

not read yet: the next index sweep reads it

Maintainers

Pull requests 0

None open.

Issues 0

None open.