Index of /pool/universe/k/kido

Name                    Last modified      Size  Description
Parent Directory                             -   
kido_0.1.0+dfsg-2bui..> 2018-01-30 08:50  8.2K  
kido_0.1.0+dfsg-2bui..> 2018-01-30 08:50  3.3K  
kido_0.1.0+dfsg.orig..> 2016-08-08 09:01  7.0M  
libkido-dev_0.1.0+df..> 2018-01-30 10:39  126K  
libkido-dev_0.1.0+df..> 2018-01-30 10:39  126K  
libkido-gui-dev_0.1...> 2018-01-30 10:39   27K  
libkido-gui-dev_0.1...> 2018-01-30 10:39   27K  
libkido-gui-osg-dev_..> 2018-01-30 10:39   16K  
libkido-gui-osg-dev_..> 2018-01-30 10:39   16K  
libkido-gui-osg0.1_0..> 2018-01-30 10:39  127K  
libkido-gui-osg0.1_0..> 2018-01-30 10:39  135K  
libkido-gui0.1_0.1.0..> 2018-01-30 10:39   57K  
libkido-gui0.1_0.1.0..> 2018-01-30 10:39   60K  
libkido-optimizer-ip..> 2018-01-30 10:39  5.8K  
libkido-optimizer-ip..> 2018-01-30 10:39  5.8K  
libkido-optimizer-ip..> 2018-01-30 10:39   17K  
libkido-optimizer-ip..> 2018-01-30 10:39   18K  
libkido-optimizer-nl..> 2018-01-30 10:39  5.3K  
libkido-optimizer-nl..> 2018-01-30 10:39  5.3K  
libkido-optimizer-nl..> 2018-01-30 10:39   15K  
libkido-optimizer-nl..> 2018-01-30 10:39   15K  
libkido-planning-dev..> 2018-01-30 10:39   10K  
libkido-planning-dev..> 2018-01-30 10:39   10K  
libkido-planning0.1_..> 2018-01-30 10:39  109K  
libkido-planning0.1_..> 2018-01-30 10:39  117K  
libkido-utils-dev_0...> 2018-01-30 10:39   13K  
libkido-utils-dev_0...> 2018-01-30 10:39   13K  
libkido-utils0.1_0.1..> 2018-01-30 10:39  186K  
libkido-utils0.1_0.1..> 2018-01-30 10:39  200K  
libkido0.1_0.1.0+dfs..> 2018-01-30 10:39  828K  
libkido0.1_0.1.0+dfs..> 2018-01-30 10:39  830K