Re: [PATCH] use new vagrant koji format options and add Cloud Vagrant box