File list of package erlang-proper-dev in questing of architecture arm64

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