Index of /ubuntu/pool/universe/k/kido

 Name                                                     Last modified      Size  
 Parent Directory                                                              -   
 kido_0.1.0+dfsg-2build9.debian.tar.xz                    2018-01-30 07:50  8.2K  
 kido_0.1.0+dfsg-2build9.dsc                              2018-01-30 07:50  3.3K  
 kido_0.1.0+dfsg.orig.tar.gz                              2016-08-08 08:01  7.0M  
 libkido-dev_0.1.0+dfsg-2build9_amd64.deb                 2018-01-30 09:39  126K  
 libkido-gui-dev_0.1.0+dfsg-2build9_amd64.deb             2018-01-30 09:39   27K  
 libkido-gui-osg-dev_0.1.0+dfsg-2build9_amd64.deb         2018-01-30 09:39   16K  
 libkido-gui-osg0.1_0.1.0+dfsg-2build9_amd64.deb          2018-01-30 09:39  127K  
 libkido-gui0.1_0.1.0+dfsg-2build9_amd64.deb              2018-01-30 09:39   57K  
 libkido-optimizer-ipopt-dev_0.1.0+dfsg-2build9_amd64.deb 2018-01-30 09:39  5.8K  
 libkido-optimizer-ipopt0.1_0.1.0+dfsg-2build9_amd64.deb  2018-01-30 09:39   17K  
 libkido-optimizer-nlopt-dev_0.1.0+dfsg-2build9_amd64.deb 2018-01-30 09:39  5.3K  
 libkido-optimizer-nlopt0.1_0.1.0+dfsg-2build9_amd64.deb  2018-01-30 09:39   15K  
 libkido-planning-dev_0.1.0+dfsg-2build9_amd64.deb        2018-01-30 09:39   10K  
 libkido-planning0.1_0.1.0+dfsg-2build9_amd64.deb         2018-01-30 09:39  109K  
 libkido-utils-dev_0.1.0+dfsg-2build9_amd64.deb           2018-01-30 09:39   13K  
 libkido-utils0.1_0.1.0+dfsg-2build9_amd64.deb            2018-01-30 09:39  186K  
 libkido0.1_0.1.0+dfsg-2build9_amd64.deb                  2018-01-30 09:39  828K  

This mirror is brought to you by HR-Tech and Heiko Richter