Index of /debian/pool/main/k/kido/

../
kido_0.1.0+dfsg-6.debian.tar.xz                    15-Oct-2018 03:57    8784
kido_0.1.0+dfsg-6.dsc                              15-Oct-2018 03:57    3304
kido_0.1.0+dfsg.orig.tar.gz                        04-Aug-2016 17:09      7M
libkido-dev_0.1.0+dfsg-6+b1_amd64.deb              17-Nov-2018 05:59    133K
libkido-gui-dev_0.1.0+dfsg-6+b1_amd64.deb          17-Nov-2018 05:59     33K
libkido-gui-osg-dev_0.1.0+dfsg-6+b1_amd64.deb      17-Nov-2018 05:59     23K
libkido-gui-osg0.1_0.1.0+dfsg-6+b1_amd64.deb       17-Nov-2018 05:59    136K
libkido-gui0.1_0.1.0+dfsg-6+b1_amd64.deb           17-Nov-2018 05:59     65K
libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_amd..> 17-Nov-2018 05:59     12K
libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_amd6..> 17-Nov-2018 05:59     24K
libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_amd..> 17-Nov-2018 05:59     11K
libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_amd6..> 17-Nov-2018 05:59     22K
libkido-planning-dev_0.1.0+dfsg-6+b1_amd64.deb     17-Nov-2018 05:59     16K
libkido-planning0.1_0.1.0+dfsg-6+b1_amd64.deb      17-Nov-2018 05:59    114K
libkido-utils-dev_0.1.0+dfsg-6+b1_amd64.deb        17-Nov-2018 05:59     19K
libkido-utils0.1_0.1.0+dfsg-6+b1_amd64.deb         17-Nov-2018 05:59    200K
libkido0.1_0.1.0+dfsg-6+b1_amd64.deb               17-Nov-2018 05:59    871K