varisat-internal-proof 0.2.2
This project contains 1 outdated development dependency.
varisat-internal-proof
(2 total, all up-to-date)
Crate | Required | Latest | Status |
---|---|---|---|
anyhow | ^1.0.32 | 1.0.83 | up to date |
varisat-formula | =0.2.2 | 0.2.2 | up to date |
(1 total, 1 outdated)
Crate | Required | Latest | Status |
---|---|---|---|
proptest | ^0.10.1 | 1.4.0 | out of date |