../ kido_0.1.0+dfsg-6.debian.tar.xz 14-Oct-2018 22:12 8784 kido_0.1.0+dfsg-6.dsc 14-Oct-2018 22:12 3304 libkido-dev_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 136004 libkido-gui-dev_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 33660 libkido-gui-osg-dev_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 23060 libkido-gui-osg0.1_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 147896 libkido-gui0.1_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 68860 libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_i38..> 16-Nov-2018 17:15 12288 libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_i386..> 16-Nov-2018 17:15 24736 libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_i38..> 16-Nov-2018 17:15 11732 libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_armh..> 16-Nov-2018 20:44 20556 libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_i386..> 16-Nov-2018 17:15 22316 libkido-planning-dev_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 16512 libkido-planning0.1_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 125796 libkido-utils-dev_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 19676 libkido-utils0.1_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:15 215380 libkido0.1_0.1.0+dfsg-6+b1_i386.deb 16-Nov-2018 17:16 905312