Packages from the vendor miffy

miffy/miffyzq