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

/usr/lib/riscv64-linux-gnu/libdart-optimizer-ipopt.so.6.13
/usr/lib/riscv64-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.Debian.riscv64.gz
/usr/share/doc/libdart-optimizer-ipopt6.13/changelog.gz
/usr/share/doc/libdart-optimizer-ipopt6.13/copyright