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

 Name                    Last modified      Size  Description
 Parent Directory                             -   
 kido_0.1.0+dfsg-6.de..> 2018-10-15 01:12  8.6K  
 kido_0.1.0+dfsg-6.dsc   2018-10-15 01:12  3.2K  
 kido_0.1.0+dfsg.orig..> 2016-08-04 14:24  7.0M  
 libkido-dev_0.1.0+df..> 2018-11-17 03:14  133K  
 libkido-gui-dev_0.1...> 2018-11-17 03:14   33K  
 libkido-gui-osg-dev_..> 2018-11-17 03:14   23K  
 libkido-gui-osg0.1_0..> 2018-11-17 03:14  136K  
 libkido-gui0.1_0.1.0..> 2018-11-17 03:14   65K  
 libkido-optimizer-ip..> 2018-11-17 03:14   12K  
 libkido-optimizer-ip..> 2018-11-17 03:14   24K  
 libkido-optimizer-nl..> 2018-11-17 03:14   11K  
 libkido-optimizer-nl..> 2018-11-17 03:14   22K  
 libkido-planning-dev..> 2018-11-17 03:14   16K  
 libkido-planning0.1_..> 2018-11-17 03:14  114K  
 libkido-utils-dev_0...> 2018-11-17 03:14   19K  
 libkido-utils0.1_0.1..> 2018-11-17 03:14  200K  
 libkido0.1_0.1.0+dfs..> 2018-11-17 03:14  871K