Software catalogue for Debian - page 7755

libkiconv4-dbgsym (Debian package) libkidletime4 (Debian package) libkidletime4-dbgsym (Debian package) libkido-dev (Debian package) libkido-gui-dev (Debian package) libkido-gui-osg-dev (Debian package) libkido-gui-osg0 (Debian package) libkido-gui-osg0.1 (Debian package) libkido-gui-osg0.1-dbgsym (Debian package) libkido-gui0 (Debian package)

libkido-gui0.1 (Debian package) libkido-gui0.1-dbgsym (Debian package) libkido-optimizer-ipopt-dev (Debian package) libkido-optimizer-ipopt0 (Debian package) libkido-optimizer-ipopt0.1 (Debian package) libkido-optimizer-ipopt0.1-dbgsym (Debian package) libkido-optimizer-nlopt-dev (Debian package) libkido-optimizer-nlopt0 (Debian package) libkido-optimizer-nlopt0.1 (Debian package) libkido-optimizer-nlopt0.1-dbgsym (Debian package)