Filförteckning för paketet libdart-optimizer-ipopt6.13 i sid för arkitekturen 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.gz
/usr/share/doc/libdart-optimizer-ipopt6.13/copyright