tptp 0.10.0
This project contains:
- 1 outdated main dependency
- 1 outdated development dependency
Crate tptp
Dependencies
(2 total, 1 outdated)
Crate | Required | Latest | Status |
---|
nom | ^4 | 7.1.3 | out of date |
serde | ^1.0 | 1.0.198 | up to date |
Dev dependencies
(1 total, 1 outdated)
Crate | Required | Latest | Status |
---|
insta | ^0.8 | 1.38.0 | out of date |