cargo / prusti-contracts / 0.3.1
Artifact
- libprusti_contracts.rlibfile · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 9.9K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies33 | Build behaviour |
|---|---|
| equivalent1.0.3 | |
| glob0.3.4 | |
| hashbrown0.17.1 | |
| indexmap2.14.2 | |
| itoa1.0.18 | |
| ld-linux-x86-64.so.2 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| memchr2.8.3 | |
| proc-macro21.0.107 | |
| prusti-contracts-proc-macros0.3.1 | |
| quote1.0.47 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_derive1.0.229 | |
| serde_json1.0.154 | |
| serde_spanned1.1.2 | |
| syn3.0.9 | |
| target-tuple1.0.2 | |
| termcolor1.4.1 | |
| toml1.1.8+spec-1.1.0 | |
| toml_datetime1.1.2+spec-1.1.0 | |
| toml_parser1.1.5+spec-1.1.0 | |
| toml_writer1.1.3+spec-1.1.0 | |
| trybuild1.0.122 | |
| unicode-ident1.0.27 | |
| winapi-util0.1.11 | |
| windows-link0.2.1 | |
| windows-sys0.61.2 | |
| winnow1.0.4 | |
| zmij1.0.23 |
| Versions13 | Risk | Vulns | Published |
|---|---|---|---|
| 0.3.0 | did not build | 1d ago | |
| 0.2.0 | not analyzed | 2023-09-04 | |
| 0.1.10 | not analyzed | 2023-08-11 | |
| 0.1.9 | not analyzed | 2023-07-20 | |
| 0.1.8 | not analyzed | 2023-06-26 | |
| 0.1.6 | not analyzed | 2023-04-05 | |
| 0.1.5 | not analyzed | 2023-04-03 | |
| 0.1.4 | not analyzed | 2023-02-13 | |
| 0.1.3 | not analyzed | 2023-01-31 | |
| 0.1.2 | not analyzed | 2022-10-03 | |
| 0.1.1 | not analyzed | 2022-09-27 | |
| 0.1.0 | not analyzed | 2022-09-26 | |
| 0.3.1 | none | none | |
1 of 1 jobs captured: build-test success · Generated 2026-10-19 · run f7c6ea90-0317-4342-9c65-7a9d5729ec9c
analysis 0.1.0 · 2026-10-19 · 10ce9f4 · graph v2