How To Install erlang-proper on Fedora 36
In this tutorial we learn how to install erlang-proper in Fedora 36. erlang-proper is A QuickCheck-inspired property-based testing tool for Erlang
Introduction
In this tutorial we learn how to install erlang-proper on Fedora 36.
What is erlang-proper
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang.
We can use yum or dnf to install erlang-proper on Fedora 36. In this tutorial we discuss both methods but you only need to choose one of method to install erlang-proper.
Install erlang-proper on Fedora 36 Using dnf
Update yum database with dnf using the following command.
sudo dnf makecache --refresh
After updating yum database, We can install erlang-proper using dnf by running the following command:
sudo dnf -y install erlang-proper
Install erlang-proper on Fedora 36 Using yum
Update yum database with yum using the following command.
sudo yum makecache --refresh
After updating yum database, We can install erlang-proper using yum by running the following command:
sudo yum -y install erlang-proper
How To Uninstall erlang-proper on Fedora 36
To uninstall only the erlang-proper package we can use the following command:
sudo dnf remove erlang-proper
erlang-proper Package Contents on Fedora 36
/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
/usr/share/doc/erlang-proper/examples/pdict_statem.erl
/usr/share/doc/erlang-proper/examples/stack.erl
/usr/share/erlang/lib/proper-1.3
/usr/share/erlang/lib/proper-1.3/ebin
/usr/share/erlang/lib/proper-1.3/ebin/proper.app
/usr/share/erlang/lib/proper-1.3/ebin/proper.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_arith.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_array.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_dict.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_fsm.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_gb_sets.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_gb_trees.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_gen.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_gen_next.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_orddict.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_ordsets.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_prop_remover.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_queue.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_sa.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_sets.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_shrink.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_statem.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_symb.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_target.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_transformer.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_types.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_typeserver.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_unicode.beam
/usr/share/erlang/lib/proper-1.3/ebin/proper_unused_imports_remover.beam
/usr/share/erlang/lib/proper-1.3/ebin/vararg.beam
/usr/share/erlang/lib/proper-1.3/include
/usr/share/erlang/lib/proper-1.3/include/proper.hrl
/usr/share/erlang/lib/proper-1.3/include/proper_common.hrl
/usr/share/erlang/lib/proper-1.3/include/proper_internal.hrl
/usr/share/erlang/lib/proper-1.3/include/proper_param_adts.hrl
/usr/share/licenses/erlang-proper
/usr/share/licenses/erlang-proper/COPYING
References
Summary
In this tutorial we learn how to install erlang-proper on Fedora 36 using yum and [dnf]((/fedora/36/dnf/).