willowgarage/catkin-debs — pull request #99 by po1 (2013-03-15 00:19:04+00:00)
Title: Use official ubuntu mirror instead of the WG cache

The buildfarm has a transparent mirror anyway