smt2parser 0.1.0

This project contains 1 outdated main dependency.

Crate `smt2parser`

Dependencies

(4 total, 1 outdated)

Crate	Required	Latest	Status
fst	`^0.4.5`	`0.4.7`	up to date
num	`^0.3.1`	`0.4.2`	out of date
pomelo	`^0.1.4`	`0.1.5`	up to date
structopt	`^0.3.12`	`0.3.26`	up to date