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