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