SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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.1 Date : 2023-08-09 02:05:45
Group : Development/Tools/Other Source RPM : proper-1.4-3.1.src.rpm
Size : 0.42 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:/18/openSUSE_Leap_15.5/noarch

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.noarch.rpm
ftp.icm.edu.pl  proper-1.4-3.1.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(otpbp_erlang)
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.

  
ICM