SEARCH
NEW RPMS
DIRECTORIES
ABOUT
FAQ
VARIOUS
BLOG

 
 

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

Name : erlang-proper
Version : 1.4 Vendor : Fedora Project
Release : 2.fc38 Date : 2023-01-19 03:54:21
Group : Unspecified Source RPM : erlang-proper-1.4-2.fc38.src.rpm
Size : 1.04 MB
Packager : Fedora Project
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-fedora-buffet/fedora-secondary/releases/40/Everything/ppc64le/os/Packages/e

Content of RPM  Changelog  Provides Requires

Download
ftp.icm.edu.pl  erlang-proper-1.4-2.fc38.noarch.rpm
ftp.icm.edu.pl  erlang-proper-1.4-2.fc38.noarch.rpm
ftp.icm.edu.pl  erlang-proper-1.4-2.fc38.noarch.rpm
ftp.icm.edu.pl  erlang-proper-1.4-2.fc38.noarch.rpm
     

Provides :
erlang-proper

Requires :
erlang-compiler
erlang-erts
erlang-kernel
erlang-stdlib
erlang-syntax_tools
erlang-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_erlang_abstract_code.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/car.inc
/usr/share/doc/erlang-proper/examples/car_fsm.erl
/usr/share/doc/erlang-proper/examples/car_statem.erl
/usr/share/doc/erlang-proper/examples/elevator_fsm.erl
There is 42 files more in these RPM.

 
ICM