choreonoid-roki-plugin (1.0.0ubuntu1+20180503+1250+6~ubuntu14.04.1) trusty; urgency=low * Auto build. -- Launchpad Package Builder <email address hidden> Thu, 03 May 2018 23:47:20 +0000