Any chance of getting the gazebo2 and the collada-dom packages added to the armhf archive?
gazebo2 and collada-dom can't be found in any of the ubuntu repositories and are typically found in the ros repo for other architectures. These will be useful for bootstrapping any of the armhf full builds.
PCL and sbcl are also missing, but I can build these in a PPA.