I remember there were a few packages managed on Gitorious (VM-related I think�� Esteban, Igor?)

Well, Gitlab just acquired Gitorious, and projects will have to be migrated before may:��https://about.gitlab.com/2015/03/03/gitlab-acquires-gitorious/

Damien Pollet
type less, do more [ | ] http://people.untyped.org/damien.pollet