![[ICO]](/icons/blank.gif) | Name | Last modified | Size | Description |
|---|
|
|---|
![[PARENTDIR]](/icons/back.gif) | Parent Directory | | - | |
![[ ]](/icons/unknown.gif) | libkido-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 133K | |
| libkido-gui-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 33K | |
| libkido-gui-osg-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 22K | |
| libkido-gui-osg0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 114K | |
| libkido-gui0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 54K | |
| libkido-optimizer-ipopt-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 12K | |
| libkido-optimizer-ipopt0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 22K | |
| libkido-optimizer-nlopt-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 11K | |
| libkido-optimizer-nlopt0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 20K | |
| libkido-planning-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 16K | |
| libkido-planning0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 96K | |
| libkido-utils-dev_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 19K | |
| libkido-utils0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 167K | |
| libkido0.1_0.1.0+dfsg-6_armhf.deb | 2018-10-25 00:08 | 721K | |
|
|---|