This project contains 2 outdated main dependencies.

Crate z3tracer

Dependencies

(3 total, 2 outdated)

CrateRequiredLatestStatus
 smt2parser^0.1.00.6.1out of date
 structopt^0.3.120.3.26up to date
 thiserror^1.0.242.0.12out of date