File list of package erlang-proper-dev in bookworm of architecture armhf

/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/copyright