Index of /raspbian/pool/main/k/kido
Name Last modified Size Description
Parent Directory -
kido_0.1.0+dfsg.orig.tar.gz 2016-08-04 06:24 7.0M
libkido0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 721K
libkido-utils0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 167K
libkido-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 133K
libkido-gui-osg0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 114K
libkido-planning0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 96K
libkido-gui0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 54K
libkido-gui-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 33K
libkido-gui-osg-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 22K
libkido-optimizer-ipopt0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 22K
libkido-optimizer-nlopt0.1_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 20K
libkido-utils-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 19K
libkido-planning-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 16K
libkido-optimizer-ipopt-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 12K
libkido-optimizer-nlopt-dev_0.1.0+dfsg-6_armhf.deb 2018-10-24 17:08 11K
kido_0.1.0+dfsg-6.debian.tar.xz 2018-10-14 17:12 8.6K
kido_0.1.0+dfsg-6.dsc 2018-10-14 17:12 3.2K
Apache/2.4.62 (Debian) Server at raspbian.mirrors.lucidnetworks.net Port 80