This project contains:

  • 1 outdated main dependency
  • 1 outdated development dependency

Crate tptp

Dependencies

(2 total, 1 outdated)

CrateRequiredLatestStatus
 nom^57.1.3out of date
 serde^1.01.0.197up to date

Dev dependencies

(1 total, 1 outdated)

CrateRequiredLatestStatus
 insta^0.81.37.0out of date