Packages
Builds
Tags
Build Targets
Users
Hosts
RPMs
Main Site Links:
Summary
Packages
Builds
Tasks
Tags
Build Targets
Users
Hosts
Reports
Search
API
Sun, 02 Jun 2024 20:56:51 UTC |
login
Information for RPM
erlang-proper-1.3-2.fc30.noarch.rpm
ID
347657
Name
erlang-proper
Version
1.3
Release
2.fc30
Epoch
Arch
noarch
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.
Build Time
2019-01-31 19:02:23 GMT
Size
392.02 KB
SIGMD5
03a8948b4dbb9fcee4cbd373ec3e262c
License
GPLv3+
VCS
scm:git:https://github.com/manopapad/proper.git
Provides
erlang-proper = 1.3-2.fc30
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
2
1 through 50 of 67
>>>
Name
Size
/usr/share/doc/erlang-proper
0.00 B
/usr/share/doc/erlang-proper/README.md
8.20 KB
/usr/share/doc/erlang-proper/doc
0.00 B
/usr/share/doc/erlang-proper/doc/edoc-info
277.00 B
/usr/share/doc/erlang-proper/doc/erlang.png
2.06 KB
/usr/share/doc/erlang-proper/doc/index.html
485.00 B
/usr/share/doc/erlang-proper/doc/modules-frame.html
1.65 KB
/usr/share/doc/erlang-proper/doc/overview-summary.html
2.60 KB
/usr/share/doc/erlang-proper/doc/overview.edoc
2.04 KB
/usr/share/doc/erlang-proper/doc/proper.html
44.08 KB
/usr/share/doc/erlang-proper/doc/proper_fsm.html
17.02 KB
/usr/share/doc/erlang-proper/doc/proper_gen.html
6.16 KB
/usr/share/doc/erlang-proper/doc/proper_gen_next.html
6.33 KB
/usr/share/doc/erlang-proper/doc/proper_sa.html
3.17 KB
/usr/share/doc/erlang-proper/doc/proper_statem.html
27.88 KB
/usr/share/doc/erlang-proper/doc/proper_symb.html
12.70 KB
/usr/share/doc/erlang-proper/doc/proper_target.html
5.58 KB
/usr/share/doc/erlang-proper/doc/proper_transformer.html
1.94 KB
/usr/share/doc/erlang-proper/doc/proper_types.html
43.56 KB
/usr/share/doc/erlang-proper/doc/proper_typeserver.html
11.88 KB
/usr/share/doc/erlang-proper/doc/proper_unicode.html
4.05 KB
/usr/share/doc/erlang-proper/doc/proper_unused_imports_remover.html
2.26 KB
/usr/share/doc/erlang-proper/doc/stylesheet.css
869.00 B
/usr/share/doc/erlang-proper/examples
0.00 B
/usr/share/doc/erlang-proper/examples/b64.erl
1.52 KB
/usr/share/doc/erlang-proper/examples/elevator_fsm.erl
7.58 KB
/usr/share/doc/erlang-proper/examples/ets_statem.erl
7.22 KB
/usr/share/doc/erlang-proper/examples/level.erl
8.65 KB
/usr/share/doc/erlang-proper/examples/magic.erl
12.97 KB
/usr/share/doc/erlang-proper/examples/mm.erl
23.33 KB
/usr/share/doc/erlang-proper/examples/pdict_statem.erl
3.30 KB
/usr/share/doc/erlang-proper/examples/stack.erl
2.56 KB
/usr/share/erlang/lib/proper-1.3
0.00 B
/usr/share/erlang/lib/proper-1.3/ebin
0.00 B
/usr/share/erlang/lib/proper-1.3/ebin/proper.app
809.00 B
/usr/share/erlang/lib/proper-1.3/ebin/proper.beam
64.23 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_arith.beam
13.34 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_array.beam
4.73 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_dict.beam
3.58 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_fsm.beam
10.04 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gb_sets.beam
5.25 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gb_trees.beam
3.96 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gen.beam
27.20 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_gen_next.beam
35.02 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_orddict.beam
3.57 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_ordsets.beam
3.11 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_prop_remover.beam
7.00 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_queue.beam
4.52 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_sa.beam
10.26 KB
/usr/share/erlang/lib/proper-1.3/ebin/proper_sets.beam
3.11 KB
Component of
No Buildroots
Copyright © 2006-2016 Red Hat, Inc.