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