Index of /raspbian/pool/main/k/kido/


../
kido_0.1.0+dfsg-2.debian.tar.xz                    06-Sep-2016 12:03                8048
kido_0.1.0+dfsg-2.dsc                              06-Sep-2016 12:03                2950
kido_0.1.0+dfsg.orig.tar.gz                        04-Aug-2016 11:24             7310992
libkido-dev_0.1.0+dfsg-2_armhf.deb                 14-Oct-2016 16:08              135484
libkido-gui-dev_0.1.0+dfsg-2_armhf.deb             14-Oct-2016 16:08               32900
libkido-gui-osg-dev_0.1.0+dfsg-2_armhf.deb         14-Oct-2016 16:08               22352
libkido-gui-osg0.1_0.1.0+dfsg-2_armhf.deb          14-Oct-2016 16:08              118522
libkido-gui0.1_0.1.0+dfsg-2_armhf.deb              14-Oct-2016 16:08               55096
libkido-optimizer-ipopt-dev_0.1.0+dfsg-2_armhf.deb 14-Oct-2016 16:08               11530
libkido-optimizer-ipopt0.1_0.1.0+dfsg-2_armhf.deb  14-Oct-2016 16:08               21734
libkido-optimizer-nlopt-dev_0.1.0+dfsg-2_armhf.deb 14-Oct-2016 16:08               10956
libkido-optimizer-nlopt0.1_0.1.0+dfsg-2_armhf.deb  14-Oct-2016 16:08               19830
libkido-planning-dev_0.1.0+dfsg-2_armhf.deb        14-Oct-2016 16:08               15762
libkido-planning0.1_0.1.0+dfsg-2_armhf.deb         14-Oct-2016 16:08               97386
libkido-utils-dev_0.1.0+dfsg-2_armhf.deb           14-Oct-2016 16:08               18940
libkido-utils0.1_0.1.0+dfsg-2_armhf.deb            14-Oct-2016 16:08              176350
libkido0.1_0.1.0+dfsg-2_armhf.deb                  14-Oct-2016 16:08              731336