Install erlang-proper-dev by entering the following commands in the terminal:
sudo apt update sudo apt install erlang-proper-dev
Description:
QuickCheck-inspired property-based testing tool for Erlang - development files
PropEr (PROPerty-based testing tool for ERlang) is a QuickCheck-inspired open-source property-based testing tool for Erlang. . This package includes erlang-proper headers which are necessary to build Erlang applications which use erlang-proper.
Homepage: https://github.com/manopapad/proper
Version: 1.2+git988ea0ed9f+dfsg-1
Section: universe/devel