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