File list of package libdart-optimizer-ipopt6.13 in experimental of architecture alpha

/usr/lib/alpha-linux-gnu/libdart-optimizer-ipopt.so.6.13
/usr/lib/alpha-linux-gnu/libdart-optimizer-ipopt.so.6.13.2
/usr/share/doc/libdart-optimizer-ipopt6.13/changelog.Debian.gz
/usr/share/doc/libdart-optimizer-ipopt6.13/changelog.gz
/usr/share/doc/libdart-optimizer-ipopt6.13/copyright