This project contains 3 outdated main dependencies.
agda-mode(5 total, all up-to-date)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde | ^1.0 | 1.0.228 | up to date |
| serde_json | ^1.0 | 1.0.145 | up to date |
| either | ^1.5 | 1.15.0 | up to date |
| lazy_static | ^1.5 | 1.5.0 | up to date |
| tokio | ^1.28.0 | 1.48.0 | up to date |
agda-tac(9 total, 3 outdated)
| Crate | Required | Latest | Status |
|---|---|---|---|
| serde_json | ^1.0 | 1.0.145 | up to date |
| clap | ^2.33 | 4.5.53 | out of date |
| structopt | ^0.3 | 0.3.26 | up to date |
| dirs | ^3.0 | 6.0.0 | out of date |
| rustyline | ^6.3 | 17.0.2 | out of date |
| ropey | ^1.1 | 1.6.1 | up to date |
| either | ^1.5 | 1.15.0 | up to date |
| minitt-util | ^0.2.4 | 0.2.4 | up to date |
| tokio | ^1.28.0 | 1.48.0 | up to date |