Lista plików pakietu quickchick z gałęzi questing na architekturę riscv64

/usr/bin/quickChick
/usr/doc/coq-quickchick/CHANGELOG.md
/usr/doc/coq-quickchick/README.md
/usr/share/doc/quickchick/changelog.Debian.gz
/usr/share/doc/quickchick/copyright
/usr/share/man/man1/quickChick.1.gz