SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : proper
Version : 1.3 Vendor : obs://build_opensuse_org/home:Ledest
Release : 2.1 Date : 2018-10-03 16:13:55
Group : Development/Tools/Other Source RPM : proper-1.3-2.1.src.rpm
Size : 0.30 MB
Packager : (none)
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/openSUSE_Leap_42.3/noarch

Content of RPM  Changelog  Provides Requires

Hmm ... It's impossible ;-) This RPM doesn't exist on any FTP server

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_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_beam(proper_shrink)
erlang_beam(rand)
erlang_beam(beam_lib)
erlang_beam(gen_server)
erlang_beam(erl_scan)
erlang_beam(erl_parse)
erlang_beam(sets)
erlang_beam(erlang)
erlang_beam(erl_pp)
erlang => 1:17
erlang_beam(proplists)
erlang_beam(proper_types)
erlang_beam(proper)
erlang_beam(code)
erlang_beam(ordsets)
erlang_beam(erl_internal)
erlang_beam(proper_statem)
erlang_beam(maps)
erlang_beam(proper_target)
erlang_beam(gb_sets)
erlang_beam(erl_eval)
erlang_beam(erl_anno)
erlang_beam(io)
erlang_beam(orddict)
erlang_beam(compile)
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
erlang_beam(lists)
erlang_app(stdlib)
erlang_beam(dict)
erlang_beam(math)
erlang_beam(queue)
erlang_app(kernel)
rpmlib(CompressedFileNames) <= 3.0.4-1
erlang_app(compiler)
erlang_beam(proper_gen)
erlang_beam(proper_symb)
erlang_beam(array)
rpmlib(PayloadIsLzma) <= 4.4.6-1
erlang_beam(gb_trees)
erlang_beam(os)
erlang_beam(erl_syntax)
erlang_beam(unicode)
erlang_beam(proper_arith)
erlang_beam(proper_gen_next)
erlang_beam(re)
erlang_beam(proper_typeserver)


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

 
ICM