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


../
libkido-dev_0.1.0+dfsg-6+b1_amd64.deb              17-Nov-2018 00:14              136000
libkido-gui-dev_0.1.0+dfsg-6+b1_amd64.deb          17-Nov-2018 00:14               33636
libkido-gui-osg-dev_0.1.0+dfsg-6+b1_amd64.deb      17-Nov-2018 00:14               23048
libkido-gui-osg0.1_0.1.0+dfsg-6+b1_amd64.deb       17-Nov-2018 00:14              139096
libkido-gui0.1_0.1.0+dfsg-6+b1_amd64.deb           17-Nov-2018 00:14               66340
libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_amd..> 17-Nov-2018 00:14               12280
libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_amd6..> 17-Nov-2018 00:14               24500
libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_amd..> 17-Nov-2018 00:14               11724
libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_amd6..> 17-Nov-2018 00:14               22576
libkido-planning-dev_0.1.0+dfsg-6+b1_amd64.deb     17-Nov-2018 00:14               16504
libkido-planning0.1_0.1.0+dfsg-6+b1_amd64.deb      17-Nov-2018 00:14              116848
libkido-utils-dev_0.1.0+dfsg-6+b1_amd64.deb        17-Nov-2018 00:14               19668
libkido-utils0.1_0.1.0+dfsg-6+b1_amd64.deb         17-Nov-2018 00:14              205124
libkido0.1_0.1.0+dfsg-6+b1_amd64.deb               17-Nov-2018 00:14              892316