urdfdom-headers (1.0.5-3) unstable; urgency=medium * Team upload. * Drop architecture check * Add MA hint -- Jochen Sprickerhof <email address hidden> Tue, 22 Dec 2020 00:12:51 +0100