aws-dafny-runtime
v0.1.1crates.io· RustAccidental thing put in the wrong place
The verdict
Deprecated. Don't start a new project on this. yanked
yanked
Live from the crates.io registry · derived rules, not AI
How it scores
MaintenanceDeprecated
PopularityNiche
SecurityClean
LicensePermissive
DepsZero deps
Maintenance
Package author marked it deprecated.
Popularity
0 downloads / week
Security
No known advisories for this version (OSV).
License
ISC AND (Apache-2.0 OR ISC)
Dependencies
No runtime dependencies
Recent releases
- 0.1.1over a year ago
- 0.1.0over a year ago