choreonoid-editor (1.0.0+20170326+47+3~ubuntu14.04.1) trusty; urgency=low * Auto build. -- Fumio KANEHIRO <email address hidden> Sun, 26 Mar 2017 13:23:50 +0000