How to Install and Uninstall erlang-proper-dev Package on Ubuntu 20.04 LTS (Focal Fossa)

Last updated: May 14,2024

1. Install "erlang-proper-dev" package

In this section, we are going to explain the necessary steps to install erlang-proper-dev on Ubuntu 20.04 LTS (Focal Fossa)

$ sudo apt update $ sudo apt install erlang-proper-dev

2. Uninstall "erlang-proper-dev" package

Please follow the guidelines below to uninstall erlang-proper-dev on Ubuntu 20.04 LTS (Focal Fossa):

$ sudo apt remove erlang-proper-dev $ sudo apt autoclean && sudo apt autoremove

3. Information about the erlang-proper-dev package on Ubuntu 20.04 LTS (Focal Fossa)

Package: erlang-proper-dev
Architecture: amd64
Version: 1.2+git988ea0ed9f+dfsg-2
Priority: optional
Section: universe/devel
Source: erlang-proper
Origin: Ubuntu
Maintainer: Ubuntu Developers
Original-Maintainer: Debian Erlang Packagers
Bugs: https://bugs.launchpad.net/ubuntu/+filebug
Installed-Size: 30
Depends: erlang-proper (>= 1.2+git988ea0ed9f+dfsg-2)
Filename: pool/universe/e/erlang-proper/erlang-proper-dev_1.2+git988ea0ed9f+dfsg-2_amd64.deb
Size: 4780
MD5sum: c595d8cf648e87ac3601e7b2c9288b1c
SHA1: 38faa3b8d8fd680ea06b165470d0128c0c65819b
SHA256: 0767229b3716099ee4fa443ab2a4e6eedf97f68d7815bb056832563727332f7c
Homepage: https://github.com/manopapad/proper
Description: QuickCheck-inspired property-based testing tool for Erlang - development files
Description-md5: 41a0358a575822b842330efcc1635cd2