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