- Coverage
- 38.49%
239 out of 621 items documented0 out of 202 items with examples - Size
- Source code size: 317.0 kB This is the summed size of all the files inside the crates.io package for this release.
- Documentation size: 6.2 MB This is the summed size of all files generated by rustdoc for all configured targets
- Ø build duration
- this release: 13s Average build duration of successful builds.
- all releases: 13s Average build duration of successful builds in releases after 2024-10-23.
- Links
- crates.io
- Dependencies
-
- parking_lot ^0.12 normal
- ropey ^1 normal
- serde ^1 normal
- serde_json ^1 normal
- sha2 ^0.10 normal
- strop-trace ^0.42.0 normal
- tempfile ^3 normal
- thiserror ^2 normal
- unicode-segmentation ^1 normal
- unicode-width ^0.2 normal
- verus_builtin =0.0.0-2026-09-06-0133 normal
- verus_builtin_macros =0.0.0-2026-09-06-0133 normal
- vstd =0.0.0-2026-09-06-0133 normal
- libc ^0.2 normal
- Versions
-
- 0.43.1 (2026-10-09)
- 0.42.0 (2026-10-08)
- 0.41.0 (2026-10-08)
- 0.40.0 (2026-10-07)
- 0.39.0 (2026-10-04)
- 0.38.1 (2026-09-30)
- 0.38.0 (2026-09-30)
- 0.37.1 (2026-09-29)
- 0.36.0 (2026-09-27)
- 0.35.0 (2026-09-24)
- 0.34.0 (2026-09-17)
- 0.33.0 (2026-09-16)
- 0.32.4 (2026-09-14)
- 0.32.3 (2026-09-14)
- 0.32.2 (2026-09-14)
- 0.32.1 (2026-09-14)
- 0.32.0 (2026-09-14)
- 0.31.1 (2026-09-13)
- 0.30.0 (2026-09-12)
- 0.29.0 (2026-09-12)
- 0.28.0 (2026-09-11)
- 0.27.0 (2026-09-11)
- 0.26.0 (2026-09-11)
- 0.25.0 (2026-09-11)
- 0.24.0 (2026-09-10)
- 0.23.0 (2026-09-10)
- 0.22.1 (2026-09-10)
- 0.22.0 (2026-09-10)
- 0.21.0 (2026-09-10)
- 0.20.1 (2026-09-10)
- 0.20.0 (2026-09-10)
- 0.19.1 (2026-09-09)
- 0.19.0 (2026-09-09)
- 0.18.0 (2026-09-09)
- 0.17.0 (2026-09-08)
- 0.16.0 (2026-09-07)
- 0.15.1 (2026-09-07)
- 0.15.0 (2026-09-07)
- 0.14.1 (2026-09-06)
- 0.13.0 (2026-09-06)
- 0.12.0 (2026-09-06)
- 0.11.0 (2026-09-06)
- 0.10.3 (2026-09-06)
- 0.10.2 (2026-09-06)
- 0.10.1 (2026-09-06)
- 0.10.0 (2026-09-06)
- 0.9.2 (2026-09-05)
- 0.9.1 (2026-09-05)
- 0.9.0 (2026-09-05)
- 0.8.0 (2026-09-05)
- 0.7.0 (2026-09-05)
- 0.6.1 (2026-09-05)
- 0.6.0 (2026-09-05)
- 0.5.0 (2026-09-05)
- 0.4.0 (2026-09-04)
- 0.3.9 (2026-09-04)
- 0.3.8 (2026-09-04)
- 0.3.7 (2026-09-04)
- 0.3.6 (2026-09-04)
- 0.3.5 (2026-09-04)
- 0.3.4 (2026-09-04)
- 0.3.3 (2026-09-04)
- 0.3.2 (2026-09-04)
- 0.3.1 (2026-09-04)
- 0.3.0 (2026-09-04)
- 0.2.2 (2026-09-03)
- 0.2.1 (2026-09-03)
- 0.2.0 (2026-09-02)
- 0.1.3 (2026-09-02)
- 0.1.2 (2026-09-02)
- 0.1.1 (2026-09-02)
- 0.1.0 (2026-09-02)
- Owners
-
