File list of package polyml-modules in experimental of architecture riscv64
/usr/lib/riscv64-linux-gnu/polyml/modules/IntInfAsInt /usr/share/doc/polyml-modules/changelog.Debian.gz /usr/share/doc/polyml-modules/copyright
/usr/lib/riscv64-linux-gnu/polyml/modules/IntInfAsInt /usr/share/doc/polyml-modules/changelog.Debian.gz /usr/share/doc/polyml-modules/copyright