File list of package libdart-optimizer-ipopt6.12 in bookworm of architecture armhf
/usr/lib/arm-linux-gnueabihf/libdart-optimizer-ipopt.so.6.12 /usr/lib/arm-linux-gnueabihf/libdart-optimizer-ipopt.so.6.12.1 /usr/share/doc/libdart-optimizer-ipopt6.12/changelog.Debian.armhf.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