Список файлов пакета erlang-proper-dev в sid для архитектуры riscv64

/usr/lib/erlang/lib/proper-1.2/include/compile_flags.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper_common.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper_internal.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper_param_adts.hrl
/usr/share/doc/erlang-proper-dev/changelog.Debian.gz
/usr/share/doc/erlang-proper-dev/changelog.Debian.riscv64.gz
/usr/share/doc/erlang-proper-dev/copyright
/usr/lib/erlang/lib/proper-1.2/include/compile_flags.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper_common.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper_internal.hrl
/usr/lib/erlang/lib/proper-1.2/include/proper_param_adts.hrl
/usr/share/doc/erlang-proper-dev/changelog.Debian.gz
/usr/share/doc/erlang-proper-dev/changelog.Debian.riscv64.gz
/usr/share/doc/erlang-proper-dev/copyright