Content of RPM proper-1.2-5.1.noarch.rpm :
/usr/lib/erlang/lib/proper-1.2
/usr/lib/erlang/lib/proper-1.2/ebin
/usr/lib/erlang/lib/proper-1.2/ebin/proper.app
/usr/lib/erlang/lib/proper-1.2/ebin/proper.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_arith.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_array.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_dict.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_fsm.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_gb_sets.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_gb_trees.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_gen.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_orddict.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_ordsets.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_prop_remover.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_queue.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_sets.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_shrink.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_statem.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_symb.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_transformer.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_types.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_typeserver.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_unicode.beam
/usr/lib/erlang/lib/proper-1.2/ebin/proper_unused_imports_remover.beam
/usr/lib/erlang/lib/proper-1.2/ebin/strip_types.beam
/usr/lib/erlang/lib/proper-1.2/ebin/vararg.beam
/usr/lib/erlang/lib/proper-1.2/examples
/usr/lib/erlang/lib/proper-1.2/examples/b64.erl
/usr/lib/erlang/lib/proper-1.2/examples/elevator_fsm.erl
/usr/lib/erlang/lib/proper-1.2/examples/ets_statem.erl
/usr/lib/erlang/lib/proper-1.2/examples/mm.erl
/usr/lib/erlang/lib/proper-1.2/examples/pdict_statem.erl
/usr/lib/erlang/lib/proper-1.2/examples/stack.erl
/usr/lib/erlang/lib/proper-1.2/include
/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