Search 3 packages

Found detections shipping vulnerabilities yanked

Build behaviour fetched outside the registry undeclared fetch fetch went into the output linked a downloaded binary read credentials connected outside the registry

Packages1–3 of 3	Version	Findings	Description	Downloads	When
discrtree cargo	0.64.0	clean	Find Lean declarations by shape and lift them into a proof	445	2d ago
lungo cargo	1.88.0	clean	Runtime and facade types for Rust code generated from Lean by lungo-build	113	13h ago
lungo-build cargo	1.88.0	clean	Compiles Lean projects into Rust at Cargo build time	61	13h ago