cargo / krabka-verified / 1.0.3
Artifact
- libkrabka_verified.rlibfile · retained · product
Checks
14 of 14 clearBuild behavior✓✓✓✓✓✓✓✓
Supply chain✓✓✓✓✓
Pipeline✓
Detections
0No detections
No abnormal activity detected across 20K flows.
Network
1 peers- static.crates.io:8080 ecosystem
| Dependencies91 | Build behaviour |
|---|---|
| wit-bindgen0.57.1 | |
| assert2-macros0.4.1 | |
| creusot-std-proc0.13.0 | |
| derive_more-impl2.1.1 | |
| getrandom0.3.4 | |
| getrandom0.4.3 | |
| krabka-macros1.0.3 | |
| ld-linux-x86-64.so.2 | |
| libc0.2.190 | |
| libc.so.6 | |
| libgcc_s.so.1 | |
| libm.so.6 | |
| libmvec.so.1 | |
| moxy-diagnostic0.5.3 | |
| moxy-macros0.5.3 | |
| moxy-template0.5.3 | |
| moxy-token0.5.3 | |
| mutants0.0.4 | |
| num-traits0.2.19 | |
| proc-macro21.0.107 | |
| quote1.0.47 | |
| rustix1.1.5 | |
| rustversion1.0.23 | |
| serde1.0.229 | |
| serde_core1.0.229 | |
| serde_derive1.0.229 | |
| thiserror2.0.21 | |
| thiserror-impl2.0.21 | |
| wasm-bindgen0.2.129 | |
| wasm-bindgen-macro0.2.129 | |
| wasm-bindgen-shared0.2.129 | |
| zerocopy0.8.62 | |
| zerocopy-derive0.8.62 | |
| assert20.4.1 | |
| autocfg1.5.1 | |
| base640.23.1 | |
| bit-set0.8.0 | |
| bit-vec0.8.0 | |
| bitflags2.13.2 | |
| bumpalo3.20.3 | |
| cfg-if1.0.5 | |
| convert_case0.10.0 | |
| creusot-std0.13.0 | |
| derive_more2.1.1 | |
| diff0.1.13 | |
| errno0.3.14 | |
| fastrand2.5.0 | |
| fnv1.0.7 | |
| futures-core0.3.34 | |
| futures-task0.3.34 | |
| futures-util0.3.34 | |
| js-sys0.3.106 | |
| krabka-ids0.6.0 | |
| linux-raw-sys0.12.1 | |
| moxy0.5.3 | |
| moxy-ast0.5.3 | |
| moxy-build0.5.3 | |
| moxy-fmt0.5.3 | |
| once_cell1.21.4 | |
| pearlite-syn0.13.0 | |
| pin-project-lite0.2.17 | |
| ppv-lite860.2.21 | |
| proptest1.11.0 | |
| quick-error1.2.3 | |
| r-efi5.3.0 | |
| r-efi6.0.0 | |
| rand0.9.5 | |
| rand_chacha0.9.0 | |
| rand_core0.9.5 | |
| rand_xorshift0.4.0 | |
| regex-syntax0.8.11 | |
| rustc_version0.4.1 | |
| rusty-fork0.3.1 | |
| semver1.0.28 | |
| slab0.4.12 | |
| syn2.0.119 | |
| syn3.0.6 | |
| tempfile3.27.0 | |
| terminal_size0.4.4 | |
| unarray0.1.4 | |
| unicode-ident1.0.26 | |
| unicode-segmentation1.13.3 | |
| unicode-width0.2.2 | |
| unicode-xid0.2.6 | |
| uuid1.27.0 | |
| wait-timeout0.2.1 | |
| wasip21.0.4+wasi-0.2.12 | |
| wasm-bindgen-macro-support0.2.129 | |
| windows-link0.2.1 | |
| windows-sys0.61.2 | |
| yansi1.0.1 |
1 of 1 jobs captured: build-test success · Generated 2026-10-12 · run 23a6f157-c5db-49c2-b107-3fcda6453ed1
analysis 0.1.0 · 2026-10-11 · d6246d3 · graph v2
