cargo / prusti-specs / 0.3.0
This release did not build; nothing below stands for the package.
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 5.5K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies31 | Build behaviour |
|---|---|
| bumpalo3.20.3 | |
| cfg-if1.0.5 | |
| either1.19.0 | |
| futures-core0.3.34 | |
| futures-task0.3.34 | |
| futures-util0.3.34 | |
| getrandom0.4.3 | |
| itertools0.10.5 | |
| js-sys0.3.106 | |
| ld-linux-x86-64.so.2 | |
| libc0.2.191 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| once_cell1.21.4 | |
| pin-project-lite0.2.17 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| r-efi6.0.0 | |
| rustc-hash1.1.0 | |
| rustversion1.0.23 | |
| slab0.4.12 | |
| syn1.0.109 | |
| syn3.0.9 | |
| unicode-ident1.0.27 | |
| uuid1.28.0 | |
| wasm-bindgen0.2.129 | |
| wasm-bindgen-macro0.2.129 | |
| wasm-bindgen-macro-support0.2.129 | |
| wasm-bindgen-shared0.2.129 |
| Versions14 | Risk | Vulns | Published |
|---|---|---|---|
| 0.3.1 | did not build | 1d ago | |
| 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.7 | not analyzed | 2023-05-23 | |
| 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 | |
1 of 1 jobs captured: build-test failure · Generated 2026-10-19 · run 240b4752-7ce0-499b-ac3f-c0fd9aad1795
analysis 0.1.0 · 2026-10-19 · 10ce9f4
