File list of package libdart-optimizer-ipopt6.12 in bookworm of architecture amd64
/usr/lib/x86_64-linux-gnu/libdart-optimizer-ipopt.so.6.12 /usr/lib/x86_64-linux-gnu/libdart-optimizer-ipopt.so.6.12.1 /usr/share/doc/libdart-optimizer-ipopt6.12/changelog.Debian.amd64.gz /usr/share/doc/libdart-optimizer-ipopt6.12/changelog.Debian.gz /usr/share/doc/libdart-optimizer-ipopt6.12/changelog.gz /usr/share/doc/libdart-optimizer-ipopt6.12/copyright