Skip to content
Open-Source Registry

cargo / lean-rs-abi

lean-rs-abi 0.9.4

bitbison: clean, behavior clean, dependencies clean, posture not checked, pipeline clean, 1 of 1 jobs captured clean
processes
152
operations
1.5K
packages
5
compiler runs
1
connections
0
job time
3s
capture
43 KB
records
3.2K
bytes / record
13.5

Link-free Lean 4 ABI and toolchain metadata shared by lean-rs crates.

Build behaviourcompiled and nothing more

1,844 downloads · Apache-2.0 OR MIT · source · crates.io abifingerprintleanlean4toolchain

Artifact

file · retained · product · graph v2
1

Checks

12 of 12 clear
Build behavior✓✓✓✓✓✓✓
Supply chain✓✓✓✓
Pipeline✓

Detections

0

No detections

No abnormal activity detected across 1.5K flows.

Dependencies5Build behaviour
ld-linux-x86-64.so.2system library
libc.so.6system library
libgcc_s.so.1system library
libm.so.6system library
libmvec.so.1system library

Raw data

capture
43 KB
records
3,204
bytes per record
13.5

Loading a sample of the capture

Want to see more? E-mail us at hello@bitbison.io about your use case.

1 of 1 jobs captured: build-test success · Generated 2026-10-13 · run abcb7b7b-2da8-4a21-8e05-1b8d15422a2b

analysis 0.1.0 · 2026-10-13 · bb263c9 · graph v2