../ kido_0.1.0+dfsg-2.debian.tar.xz 26-Apr-2023 15:05 8048 kido_0.1.0+dfsg-2.dsc 26-Apr-2023 15:05 2950 kido_0.1.0+dfsg.orig.tar.gz 26-Apr-2023 15:05 7M libkido-dev_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 133K libkido-gui-dev_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 32K libkido-gui-osg-dev_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 22K libkido-gui-osg0.1_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 139K libkido-gui0.1_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 66K libkido-optimizer-ipopt-dev_0.1.0+dfsg-2+b2_i38..> 26-Apr-2023 15:05 12K libkido-optimizer-ipopt0.1_0.1.0+dfsg-2+b2_i386..> 26-Apr-2023 15:05 23K libkido-optimizer-nlopt-dev_0.1.0+dfsg-2+b2_i38..> 26-Apr-2023 15:05 11K libkido-optimizer-nlopt0.1_0.1.0+dfsg-2+b2_i386..> 26-Apr-2023 15:05 21K libkido-planning-dev_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 16K libkido-planning0.1_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 122K libkido-utils-dev_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 19K libkido-utils0.1_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 208K libkido0.1_0.1.0+dfsg-2+b2_i386.deb 26-Apr-2023 15:05 852K