Software catalogue for Debian - page 792

coinor-libflopc++0 (Debian package) coinor-libflopc++0-dbg (Debian package) coinor-libipopt-dev (Debian package) coinor-libipopt-doc (Debian package) coinor-libipopt0 (Debian package) coinor-libipopt0-dbg (Debian package) coinor-libipopt1 (Debian package) coinor-libipopt1-dbg (Debian package) coinor-libipopt1v5 (Debian package) coinor-libipopt1v5-dbg (Debian package)

coinor-libosi-dev (Debian package) coinor-libosi-doc (Debian package) coinor-libosi0 (Debian package) coinor-libosi0-dbg (Debian package) coinor-libosi1 (Debian package) coinor-libosi1-dbg (Debian package) coinor-libosi1v5 (Debian package) coinor-libosi1v5-dbg (Debian package) coinor-libosi1v5-dbgsym (Debian package) coinor-libsymphony-dev (Debian package)