Index of /stable/debian-10-official-release/pool/main/k/kido/

../
libkido-dev_0.1.0+dfsg-6+b1_amd64.deb              24-Sep-2019 00:32              136000
libkido-gui-dev_0.1.0+dfsg-6+b1_amd64.deb          24-Sep-2019 00:48               33636
libkido-gui-osg-dev_0.1.0+dfsg-6+b1_amd64.deb      24-Sep-2019 00:23               23048
libkido-gui-osg0.1_0.1.0+dfsg-6+b1_amd64.deb       24-Sep-2019 00:35              139096
libkido-gui0.1_0.1.0+dfsg-6+b1_amd64.deb           24-Sep-2019 00:49               66340
libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_amd..> 24-Sep-2019 00:20               12280
libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_amd6..> 24-Sep-2019 00:44               24500
libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_amd..> 24-Sep-2019 00:30               11724
libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_amd6..> 24-Sep-2019 00:13               22576
libkido-planning-dev_0.1.0+dfsg-6+b1_amd64.deb     24-Sep-2019 00:38               16504
libkido-planning0.1_0.1.0+dfsg-6+b1_amd64.deb      24-Sep-2019 00:49              116848
libkido-utils-dev_0.1.0+dfsg-6+b1_amd64.deb        24-Sep-2019 00:42               19668
libkido-utils0.1_0.1.0+dfsg-6+b1_amd64.deb         24-Sep-2019 00:48              205124
libkido0.1_0.1.0+dfsg-6+b1_amd64.deb               24-Sep-2019 00:31              892316