../ 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 kido_0.1.0+dfsg.orig.tar.gz 04-Aug-2016 11:24 7310992 libkido-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 135736 libkido-gui-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 33384 libkido-gui-osg-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 22788 libkido-gui-osg0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 116900 libkido-gui0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 54960 libkido-optimizer-ipopt-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 12012 libkido-optimizer-ipopt0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 22184 libkido-optimizer-nlopt-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 11448 libkido-optimizer-nlopt0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 20256 libkido-planning-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 16240 libkido-planning0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 97796 libkido-utils-dev_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 19388 libkido-utils0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 171516 libkido0.1_0.1.0+dfsg-6_armhf.deb 24-Oct-2018 22:08 737824