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

../
libkido-dev_0.1.0+dfsg-6+b1_amd64.deb              31-Aug-2022 14:23              136000
libkido-gui-dev_0.1.0+dfsg-6+b1_amd64.deb          31-Aug-2022 14:23               33636
libkido-gui-osg-dev_0.1.0+dfsg-6+b1_amd64.deb      31-Aug-2022 14:23               23048
libkido-gui-osg0.1_0.1.0+dfsg-6+b1_amd64.deb       31-Aug-2022 14:23              139096
libkido-gui0.1_0.1.0+dfsg-6+b1_amd64.deb           31-Aug-2022 14:23               66340
libkido-optimizer-ipopt-dev_0.1.0+dfsg-6+b1_amd..> 31-Aug-2022 14:23               12280
libkido-optimizer-ipopt0.1_0.1.0+dfsg-6+b1_amd6..> 31-Aug-2022 14:23               24500
libkido-optimizer-nlopt-dev_0.1.0+dfsg-6+b1_amd..> 31-Aug-2022 14:23               11724
libkido-optimizer-nlopt0.1_0.1.0+dfsg-6+b1_amd6..> 31-Aug-2022 14:23               22576
libkido-planning-dev_0.1.0+dfsg-6+b1_amd64.deb     31-Aug-2022 14:23               16504
libkido-planning0.1_0.1.0+dfsg-6+b1_amd64.deb      31-Aug-2022 14:23              116848
libkido-utils-dev_0.1.0+dfsg-6+b1_amd64.deb        31-Aug-2022 14:23               19668
libkido-utils0.1_0.1.0+dfsg-6+b1_amd64.deb         31-Aug-2022 14:23              205124
libkido0.1_0.1.0+dfsg-6+b1_amd64.deb               31-Aug-2022 14:23              892316