Tue, 29 Nov 2022 05:16:15 UTC | login

Information for RPM erlang-proper-1.3-5.el8.noarch.rpm

ID195117
Nameerlang-proper
Version1.3
Release5.el8
Epoch
Archnoarch
SummaryA QuickCheck-inspired property-based testing tool for Erlang
DescriptionPropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.
Build Time2020-03-27 14:45:25 GMT
Size388.74 KB
fe06b240727e7c23ae2a842acac3c527
LicenseGPLv3+
scm:git:https://github.com/proper-testing/proper.git
Buildrootmessaging8-rabbitmq-38-el8-build-74193-402287
Provides
erlang-proper = 1.3-5.el8
Obsoletes No Obsoletes
Conflicts No Conflicts
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(PayloadIsXz) <= 5.2-1
Recommends No Recommends
Suggests No Suggests
Supplements No Supplements
Enhances No Enhances
Files
Page:
1 through 50 of 67 >>>
Name ascending sort Size
/usr/share/doc/erlang-proper0.00 B
/usr/share/doc/erlang-proper/README.md8.20 KB
/usr/share/doc/erlang-proper/doc0.00 B
/usr/share/doc/erlang-proper/doc/edoc-info277.00 B
/usr/share/doc/erlang-proper/doc/erlang.png2.06 KB
/usr/share/doc/erlang-proper/doc/index.html485.00 B
/usr/share/doc/erlang-proper/doc/modules-frame.html1.65 KB
/usr/share/doc/erlang-proper/doc/overview-summary.html2.60 KB
/usr/share/doc/erlang-proper/doc/overview.edoc2.04 KB
/usr/share/doc/erlang-proper/doc/proper.html44.05 KB
/usr/share/doc/erlang-proper/doc/proper_fsm.html17.02 KB
/usr/share/doc/erlang-proper/doc/proper_gen.html6.16 KB
/usr/share/doc/erlang-proper/doc/proper_gen_next.html6.33 KB
/usr/share/doc/erlang-proper/doc/proper_sa.html3.17 KB
/usr/share/doc/erlang-proper/doc/proper_statem.html27.87 KB
/usr/share/doc/erlang-proper/doc/proper_symb.html12.70 KB
/usr/share/doc/erlang-proper/doc/proper_target.html5.58 KB
/usr/share/doc/erlang-proper/doc/proper_transformer.html1.94 KB
/usr/share/doc/erlang-proper/doc/proper_types.html43.48 KB
/usr/share/doc/erlang-proper/doc/proper_typeserver.html11.88 KB
/usr/share/doc/erlang-proper/doc/proper_unicode.html4.05 KB
/usr/share/doc/erlang-proper/doc/proper_unused_imports_remover.html2.26 KB
/usr/share/doc/erlang-proper/doc/stylesheet.css869.00 B
/usr/share/doc/erlang-proper/examples0.00 B
/usr/share/doc/erlang-proper/examples/b64.erl1.52 KB
/usr/share/doc/erlang-proper/examples/elevator_fsm.erl7.58 KB
/usr/share/doc/erlang-proper/examples/ets_statem.erl7.22 KB
/usr/share/doc/erlang-proper/examples/level.erl8.65 KB
/usr/share/doc/erlang-proper/examples/magic.erl12.97 KB
/usr/share/doc/erlang-proper/examples/mm.erl23.33 KB
/usr/share/doc/erlang-proper/examples/pdict_statem.erl3.30 KB
/usr/share/doc/erlang-proper/examples/stack.erl2.56 KB
/usr/share/erlang/lib/proper-1.30.00 B
/usr/share/erlang/lib/proper-1.3/ebin0.00 B
/usr/share/erlang/lib/proper-1.3/ebin/proper.app809.00 B
/usr/share/erlang/lib/proper-1.3/ebin/proper.beam62.14 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_arith.beam13.30 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_array.beam4.75 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_dict.beam3.60 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_fsm.beam9.94 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gb_sets.beam5.27 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gb_trees.beam3.98 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gen.beam26.82 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gen_next.beam34.68 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_orddict.beam3.60 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_ordsets.beam3.14 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_prop_remover.beam6.38 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_queue.beam4.54 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_sa.beam10.16 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_sets.beam3.13 KB
Component of
1 through 2 of 2
Buildroot descending sort Created State
messaging8-rabbitmq-38-el8-build-74199-402293 2020-03-27 15:28:54 expired
messaging8-rabbitmq-38-el8-build-74195-402291 2020-03-27 14:55:49 expired