../ kido_0.1.0+dfsg-6.debian.tar.xz 15-Oct-2018 00:12 8784 kido_0.1.0+dfsg-6.dsc 15-Oct-2018 00:12 3304 kido_0.1.0+dfsg.orig.tar.gz 04-Aug-2016 13:24 7M libkido-dev_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 133K libkido-gui-dev_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 33K libkido-gui-osg-dev_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 23K libkido-gui-osg0.1_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 136K libkido-gui0.1_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 65K libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_amd..> 17-Nov-2018 02:14 12K libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_amd6..> 17-Nov-2018 02:14 24K libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_amd..> 17-Nov-2018 02:14 11K libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_amd6..> 17-Nov-2018 02:14 22K libkido-planning-dev_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 16K libkido-planning0.1_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 114K libkido-utils-dev_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 19K libkido-utils0.1_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 200K libkido0.1_0.1.0+dfsg-6+b1_amd64.deb 17-Nov-2018 02:14 871K