Packages from the vendor klawd-prime

klawd-prime/lean
klawd-prime/stack