Liste des fichiers du paquet libompl16 dans sid pour l'architecture riscv64

/usr/lib/riscv64-linux-gnu/libompl.so.1.5.2
/usr/lib/riscv64-linux-gnu/libompl.so.16
/usr/share/doc/libompl16/changelog.Debian.gz
/usr/share/doc/libompl16/copyright