SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

erlang-proper rpm build for : OpenSuSE. For other distributions click erlang-proper.

Name : erlang-proper
Version : 1.1+git20140612.043f68f Vendor : obs://build_opensuse_org/devel:languages:erlang
Release : 1.94 Date : 2015-06-25 20:34:13
Group : Development/Libraries/Other Source RPM : erlang-proper-1.1+git20140612.043f68f-1.94.src.rpm
Size : 0.59 MB
Packager : (none)
Summary : QuickCheck-inspired open-source property-based testing tool
Description :
PropEr is a tool for the automated, semi-random, property-based testing of Erlang programs. It is fully integrated with Erlang\'s type language, and can also be used for the model-based random testing of stateful systems.

RPM found in directory: /packages/linux-pbone/ftp5.gwdg.de/pub/opensuse/repositories/devel:/languages:/erlang/bleeding_edge_erlang_Factory/x86_64

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  erlang-proper-1.1+git20140612.043f68f-1.94.x86_64.rpm
     

Provides :
erlang-proper
erlang-proper(x86-64)

Requires :
rpmlib(CompressedFileNames) <= 3.0.4-1
erlang
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsLzma) <= 4.4.6-1


Content of RPM :
/usr/lib64/erlang/lib/proper-1.1
/usr/lib64/erlang/lib/proper-1.1/ebin
/usr/lib64/erlang/lib/proper-1.1/ebin/proper.app
/usr/lib64/erlang/lib/proper-1.1/ebin/proper.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_arith.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_array.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_dict.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_fsm.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_gb_sets.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_gb_trees.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_gen.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_orddict.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_ordsets.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_prop_remover.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_queue.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_sets.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_shrink.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_statem.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_symb.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_transformer.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_types.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_typeserver.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/proper_unicode.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/strip_types.beam
/usr/lib64/erlang/lib/proper-1.1/ebin/vararg.beam
/usr/lib64/erlang/lib/proper-1.1/include
/usr/lib64/erlang/lib/proper-1.1/include/compile_flags.hrl
/usr/lib64/erlang/lib/proper-1.1/include/proper.hrl
/usr/lib64/erlang/lib/proper-1.1/include/proper_common.hrl
/usr/lib64/erlang/lib/proper-1.1/include/proper_internal.hrl
There is 24 files more in these RPM.

 
ICM