RPM openSUSE Leap 15 proper 1.4 noarch rpm

proper rpm build for : openSUSE Leap 15. For other distributions click proper.

Name : proper
Version : 1.4	Vendor : obs://build_opensuse_org/home:Ledest
Release : 3.2	Date : 2024-05-31 21:33:45
Group : Development/Tools/Other	Source RPM : proper-1.4-3.2.src.rpm
Size : 0.39 MB
Packager : https://www_suse_com/
Summary : QuickCheck-inspired property-based testing tool for Erlang
Description : PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.
RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/home:/Ledest:/erlang:/27/openSUSE_Leap_15.6/noarch

Content of RPM Changelog Provides Requires

Download
ftp.icm.edu.pl proper-1.4-3.2.noarch.rpm

ftp.icm.edu.pl proper-1.4-3.2.noarch.rpm

ftp.icm.edu.pl proper-1.4-3.2.noarch.rpm

ftp.icm.edu.pl proper-1.4-3.2.noarch.rpm

ftp.icm.edu.pl proper-1.4-3.2.noarch.rpm

Provides :
erlang-proper
erlang-proper-devel
erlang_app(proper)
erlang_beam(proper)
erlang_beam(proper_arith)
erlang_beam(proper_array)
erlang_beam(proper_dict)
erlang_beam(proper_erlang_abstract_code)
erlang_beam(proper_fsm)
erlang_beam(proper_gb_sets)
erlang_beam(proper_gb_trees)
erlang_beam(proper_gen)
erlang_beam(proper_gen_next)
erlang_beam(proper_orddict)
erlang_beam(proper_ordsets)
erlang_beam(proper_prop_remover)
erlang_beam(proper_queue)
erlang_beam(proper_sa)
erlang_beam(proper_sets)
erlang_beam(proper_shrink)
erlang_beam(proper_statem)
erlang_beam(proper_symb)
erlang_beam(proper_target)
erlang_beam(proper_transformer)
erlang_beam(proper_types)
erlang_beam(proper_typeserver)
erlang_beam(proper_unicode)
erlang_beam(proper_unused_imports_remover)
erlang_beam(vararg)
erlang_lib(proper)
proper
proper-devel

Requires :

erlang >= 1:17

erlang_app(compiler)

erlang_app(kernel)

erlang_app(stdlib)

erlang_beam(array)

erlang_beam(beam_lib)

erlang_beam(code)

erlang_beam(compile)

erlang_beam(cover)

erlang_beam(dict)

erlang_beam(erl_anno)

erlang_beam(erl_eval)

erlang_beam(erl_internal)

erlang_beam(erl_lint)

erlang_beam(erl_parse)

erlang_beam(erl_pp)

erlang_beam(erl_scan)

erlang_beam(erl_syntax)

erlang_beam(erlang)

erlang_beam(eunit_lib)

erlang_beam(filelib)

erlang_beam(filename)

erlang_beam(gb_sets)

erlang_beam(gb_trees)

erlang_beam(gen_server)

erlang_beam(io)

erlang_beam(io_lib)

erlang_beam(lists)

erlang_beam(maps)

erlang_beam(math)

erlang_beam(net_adm)

erlang_beam(net_kernel)

erlang_beam(orddict)

erlang_beam(ordsets)

erlang_beam(os)

erlang_beam(proper)

erlang_beam(proper_arith)

erlang_beam(proper_gen)

erlang_beam(proper_gen_next)

erlang_beam(proper_shrink)

erlang_beam(proper_statem)

erlang_beam(proper_symb)

erlang_beam(proper_target)

erlang_beam(proper_types)

erlang_beam(proper_typeserver)

erlang_beam(proplists)

erlang_beam(queue)

erlang_beam(rand)

erlang_beam(re)

erlang_beam(rpc)

erlang_beam(sets)

erlang_beam(slave)

erlang_beam(string)

erlang_beam(unicode)

rpmlib(CompressedFileNames) <= 3.0.4-1

rpmlib(FileDigests) <= 4.6.0-1

rpmlib(PayloadFilesHavePrefix) <= 4.0-1

rpmlib(PayloadIsXz) <= 5.2-1

Content of RPM :
/usr/lib/erlang/lib/proper-1.4
/usr/lib/erlang/lib/proper-1.4/ebin
/usr/lib/erlang/lib/proper-1.4/ebin/proper.app
/usr/lib/erlang/lib/proper-1.4/ebin/proper.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_arith.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_array.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_dict.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_erlang_abstract_code.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_fsm.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gb_sets.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gb_trees.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gen.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_gen_next.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_orddict.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_ordsets.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_prop_remover.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_queue.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_sa.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_sets.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_shrink.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_statem.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_symb.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_target.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_transformer.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_types.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_typeserver.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_unicode.beam
/usr/lib/erlang/lib/proper-1.4/ebin/proper_unused_imports_remover.beam
/usr/lib/erlang/lib/proper-1.4/ebin/vararg.beam
/usr/lib/erlang/lib/proper-1.4/examples
There is 16 files more in these RPM.