z3-tptp

z3-tptp 5.1.0 · pkgs/by-name/z3/z3-tptp/package.nix

Sign in to subscribe

Health

Risk

risk 0 ok

Version

5.1.0 no newer release known to repology

Channels

master 5.1.0 · nixos-unstable 5.1.0 · nixos-26.05 4.16.0 master is ahead of nixos-26.05

Hydra

succeeded 2w ago

Advisories

none open

Packaging

not read yet: the next index sweep reads it

Maintainers

thoughtpolice, numinit, 7c6f434c

Pull requests 0

None open.

Issues 0

None open.