File list of package erlang-proper-dev in trixie of architecture armhf
/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