z3 0.12.1
This project contains 1 outdated development dependency.
z3
(3 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
log | ^0.4 | 0.4.21 | up to date |
num | ^0.4.0 | 0.4.2 | up to date |
z3-sys | ^0.8 | 0.8.1 | up to date |
(2 total, 1 outdated)
Crate | Required | Latest | Status |
---|---|---|---|
env_logger | ^0.10 | 0.11.3 | out of date |
semver | ^1 | 1.0.22 | up to date |