Packages from the vendor whf

whf/lazy-brick