File list of package libflint-2.5.2 in focal of architecture all

/usr/lib/riscv64-linux-gnu/libflint-2.5.2.so
/usr/lib/riscv64-linux-gnu/libflint-2.5.2.so.13.5.2
/usr/share/doc/libflint-2.5.2/changelog.Debian.gz
/usr/share/doc/libflint-2.5.2/copyright