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

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