File list of package metamath in trixie of architecture riscv64

/usr/bin/metamath
/usr/share/doc/metamath/changelog.Debian.gz
/usr/share/doc/metamath/changelog.Debian.riscv64.gz
/usr/share/doc/metamath/copyright
/usr/share/man/man1/metamath.1.gz