SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : erlang-proper
Version : 1.3 Vendor : Mageia_Org
Release : 4.mga8 Date : 2020-12-20 08:21:24
Group : Development/Erlang Source RPM : erlang-proper-1.3-4.mga8.src.rpm
Size : 0.73 MB
Packager : wally < wally>
Summary : A 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: /vol/rzm3/linux-mageia/distrib/8/aarch64/media/core/release

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  erlang-proper-1.3-4.mga8.noarch.rpm
ftp.icm.edu.pl  erlang-proper-1.3-4.mga8.noarch.rpm
ftp.icm.edu.pl  erlang-proper-1.3-4.mga8.noarch.rpm
ftp.icm.edu.pl  erlang-proper-1.3-4.mga8.noarch.rpm
     

Provides :
erlang-proper

Requires :
erlang-compiler
erlang-erts
erlang-kernel
erlang-stdlib
erlang-syntax_tools
rpmlib(CompressedFileNames) <= 3.0.4-1
rpmlib(FileDigests) <= 4.6.0-1
rpmlib(PayloadFilesHavePrefix) <= 4.0-1
rpmlib(PayloadIsZstd) <= 5.4.18-1


Content of RPM :
/usr/share/doc/erlang-proper
/usr/share/doc/erlang-proper/README.md
/usr/share/doc/erlang-proper/doc
/usr/share/doc/erlang-proper/doc/edoc-info
/usr/share/doc/erlang-proper/doc/erlang.png
/usr/share/doc/erlang-proper/doc/index.html
/usr/share/doc/erlang-proper/doc/modules-frame.html
/usr/share/doc/erlang-proper/doc/overview-summary.html
/usr/share/doc/erlang-proper/doc/overview.edoc
/usr/share/doc/erlang-proper/doc/proper.html
/usr/share/doc/erlang-proper/doc/proper_fsm.html
/usr/share/doc/erlang-proper/doc/proper_gen.html
/usr/share/doc/erlang-proper/doc/proper_gen_next.html
/usr/share/doc/erlang-proper/doc/proper_sa.html
/usr/share/doc/erlang-proper/doc/proper_statem.html
/usr/share/doc/erlang-proper/doc/proper_symb.html
/usr/share/doc/erlang-proper/doc/proper_target.html
/usr/share/doc/erlang-proper/doc/proper_transformer.html
/usr/share/doc/erlang-proper/doc/proper_types.html
/usr/share/doc/erlang-proper/doc/proper_typeserver.html
/usr/share/doc/erlang-proper/doc/proper_unicode.html
/usr/share/doc/erlang-proper/doc/proper_unused_imports_remover.html
/usr/share/doc/erlang-proper/doc/stylesheet.css
/usr/share/doc/erlang-proper/examples
/usr/share/doc/erlang-proper/examples/b64.erl
/usr/share/doc/erlang-proper/examples/elevator_fsm.erl
/usr/share/doc/erlang-proper/examples/ets_statem.erl
/usr/share/doc/erlang-proper/examples/level.erl
/usr/share/doc/erlang-proper/examples/magic.erl
/usr/share/doc/erlang-proper/examples/mm.erl
There is 37 files more in these RPM.

 
ICM